BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Commutative Monads - Emily Roff
DTSTART:20180315T140000Z
DTEND:20180315T150000Z
UID:TALK103117@talks.cam.ac.uk
CONTACT:Loren E. Held
DESCRIPTION:Monads give us a means to describe algebraic structures abstra
 ctly. We might want to know: when can we be sure that the operations for a
  monad all commute pairwise? When that's the case\, it turns out that the 
 category of algebras for the monad resembles the categories of linear alge
 bra. It would be nice to think that this form of commutativity for a monad
  should echo commutativity for monoids - but since a category of endofunct
 ors is almost never symmetric monoidal with respect to composition\, it do
 esn’t make immediate sense to ask that a monad\, regarded as a monoid ob
 ject\, be commutative. This talk will discuss how the question of commutat
 ivity was approached in the 70s by Anders Kock\; we will consider an examp
 le\, also due to Kock\, which is related to functional analysis and draws 
 on ideas of Bill Lawvere’s.
LOCATION:MR15
END:VEVENT
END:VCALENDAR