BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:Polynomials via fibrations - Tamara von Glehn\, Un
iversity of Cambridge
DTSTART:20181116T103000Z
DTEND:20181116T113000Z
UID:TALK3394AT
URL:/talk/index/3394
DESCRIPTION:Polynomials in category theory represent datatypes
which\, like polynomial functions\, can be expres
sed using sums and products. Extending this analog
y\, I will characterize the category of polynomial
s in terms of indexed sums and products for fibrat
ions. This category arises from a distributive law
between the pseudomonad ‘freely adding’ indexed s
ums to a fibration\, and its dual adding indexed p
roducts. I will also relate this perspective to th
e structure of categorical models of type theory w
ith dependent sum and product types.
LOCATION:Computer Science\, The Sloman Lounge (UG)
CONTACT:Jamie Vicary
END:VEVENT
END:VCALENDAR