University of Cambridge > Talks.cam > Category Theory Seminar > Parameterized algebraic theories and computational effects

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Parameterized algebraic theories and computational effects

Download to your calendar using vCal

If you have a question about this talk, please contact Julia Goedecke .

I will talk about a class of generalized algebraic theories. Abstractly, they can be understood as algebraic theories enriched in presheaf categories. Concretely, they have a straightforward syntax and an equational deduction system.

Several people have proposed that “computational effects” can be described by algebraic theories. My new examples of generalized algebraic theories help to confirm this.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cabinet of Natural History Average on weekdays: 9039.47826087 kWh Average on weekdays: 9071.9610687 kWh

Other talks

Talk TBC Peri-Operative Medicine, and Obstetrics and Gynaecology Title TBC Discussion II continued Title to be confirmed Feedback and the circumgalactic medium
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity