BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Free Commutative Monoids in Homotopy Type Theory - Vikraman Choudh
 ury\, University of Indiana
DTSTART:20201106T140000Z
DTEND:20201106T150000Z
UID:TALK152593@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:https://us02web.zoom.us/j/177472153?pwd=MFgwd0EzY05QSGtpSDc2dU
 16aG9wdz09\n\nIn this talk\, I will discuss various presentations of finit
 e multisets\nas free commutative monoids using higher inductive types in H
 oTT\, and\nprove their universal property. Using this\, I will construct t
 he\nrelational model of linear logic\, and further show its differential\n
 structure.
LOCATION:Online
END:VEVENT
END:VCALENDAR