BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Formal Approach to Generalisations of Monads - Gabriele Lobbia (
 University of Leeds)
DTSTART:20200121T141500Z
DTEND:20200121T151500Z
UID:TALK138064@talks.cam.ac.uk
CONTACT:José Siqueira
DESCRIPTION: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-catego
 ries\, which are monads with diagrams commutative up to coherent isomorphi
 sms (Blackwell\, Kelly\, Power\, etc). Another possible generalisation is 
 relative monads\,  which are not endofunctors but have a similar structure
  to monads. \n\nIn "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 extend
 ed to pseudo and relative monads.
LOCATION:MR4\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR