BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:Interaction morphisms - Tarmo Uustalu (Institute o
f Cybernetics\, Tallinn University of Technology)
DTSTART:20161202T110000Z
DTEND:20161202T120000Z
UID:TALK2318AT
URL:/talk/index/2318
DESCRIPTION:I will propose interaction morphisms as a means to
specify\nhow an effectful computation is to be ru
n\, provided a state in a\ncontext. An interaction
morphism of a monad T and a comonad D is a\nfamil
y of maps T X x D Y -> X x Y natural in X and Y an
d subject to\nsome equations. Interaction morphism
s turn out to be a natural concept\nwith a number
of neat properties. In particular\, interaction mo
rphisms\nare the same as monoids in a certain mono
idal category\; interaction\nmorphisms of T and D
are in a bijective correspondence with\ncarrier-pr
eserving functors between the categories of coalge
bras of D\nand stateful runners of T (monad morphi
sms from T to state monads)\;\nthey are also in a
bijective correspondence with monad morphisms from
\nT to a monad induced in a certain way by D.\n\nT
his is joint work with Shin-ya Katsumata (Universi
ty of Kyoto).\n\n
LOCATION:Computer Science\, The Sloman Lounge (UG)
CONTACT:Paul Taylor
END:VEVENT
END:VCALENDAR