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

  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

A Formal Approach to Generalisations of Monads

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Webinar & FW11, Computer Laboratory, William Gates Building. DELETED HEP Seminar Room (980) Rutherford Building, Cavendish Laboratory

Other talks

title abstract tbc An Amphibious Urbanism | | Cut 4: The Desert Arrives Slowly Beyond Hubble: Studying the Earliest Galaxies with the James Webb Space Telescope Using Light for Cancer Detection Title to be confirmed Group Work
 

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