University of Birmingham > Talks@bham > Theoretical computer science seminar > Universal algebra over nominal sets

Universal algebra over nominal sets

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Paul Levy.

We investigate the foundations of a theory of algebraic data types with variable binding inside classical many-sorted universal algebra. The nominal sets introduced by Gabbay and Pitts give an elegant treatment of abstract syntax with binders. This talk presents a category-theoretic study of monads over nominal sets that leads us to introduce new notions of finitary based monads and uniform monads. The close connection between nominal sets and the presheaf category [I,Set] enables us to spell out these notions in the language of universal algebra. We show how to recover the logics of Gabbay-Mathijssen and Clouston-Pitts, and how to transfer classical results from universal algebra to nominal sets.

This is joint work with Alexander Kurz (University of Leicester) and Jirí Velebil (Czech Technical University, Prague).

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.