BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Part III Seminars
SUMMARY:Commutative Monads - Emily Roff
DTSTART;TZID=Europe/London:20180315T140000
DTEND;TZID=Europe/London:20180315T150000
UID:TALK103117AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/103117
DESCRIPTION:Monads give us a means to describe algebraic struc
tures abstractly. We might want to know: when can
we be sure that the operations for a monad all com
mute pairwise? When that's the case\, it turns out
that the category of algebras for the monad resem
bles the categories of linear algebra. It would be
nice to think that this form of commutativity for
a monad should echo commutativity for monoids - b
ut since a category of endofunctors is almost neve
r symmetric monoidal with respect to composition\,
it doesn’t make immediate sense to ask that a mon
ad\, regarded as a monoid object\, be commutative.
This talk will discuss how the question of commut
ativity was approached in the 70s by Anders Kock\;
we will consider an example\, also due to Kock\,
which is related to functional analysis and draws
on ideas of Bill Lawvere’s.
LOCATION:MR15
CONTACT:Loren E. Held
END:VEVENT
END:VCALENDAR