BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Monoidal categories - Andrej Ivaskovic (Department of Computer Sci
 ence and Technology\, University of Cambridge)
DTSTART:20210212T110000Z
DTEND:20210212T120000Z
UID:TALK156844@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Monoidal categories are an important concept in category theor
 y\, with \napplications in representation theory\, theoretical physics\, l
 ogic and \ntype theory. The last two make them especially interesting to c
 omputer \nscientists.\nIn this talk\, I introduce monoidal categories and 
 look at some of their \napplications in logic and semantics. Among these w
 ill be an explanation \nof why monads are "monoids in the category of endo
 functors".
LOCATION:https://meet.google.com/jxy-edcv-wgx
END:VEVENT
END:VCALENDAR