University of Cambridge > > Category Theory Seminar > A Formal Approach to Generalisations of Monads

A Formal Approach to Generalisations of Monads

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

If you have a question about this talk, please contact José Siqueira.

Monads are endofunctors endowed with a structure that emulates that of a monoid. They were first defined on categories, but this notion can be generalised. For example we can consider pseudomonads on 2-categories, which are monads with diagrams commutative up to coherent isomorphisms (Blackwell, Kelly, Power, etc). Another possible generalisation is relative monads, which are not endofunctors but have a similar structure to monads.

In “The formal theory of monads” Street studies monads in a formal way, i.e. defining them in a general 2-category. In this talk we will recall some aspects of Street’s work and show how they can be extended to pseudo and relative monads.

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity