BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Categorical models of dependent type theory II - Nathanael Arkor (
 University of Cambridge)
DTSTART:20210319T110000Z
DTEND:20210319T120000Z
UID:TALK158335@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Previously\, we saw how dependent type theories might be model
 led by categories with attributes (CwAs)\, in a similar manner to how simp
 le type theories may be modelled by cartesian categories. In this talk\, g
 uided by the intuition bestowed by CwAs\, I will give an overview of sever
 al other models of dependent type theories\, including categories with fam
 ilies\, natural models\, and comprehension categories.
LOCATION:https://meet.google.com/jxy-edcv-wgx
END:VEVENT
END:VCALENDAR