BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Modalities and HoTT - Derek Sorensen
DTSTART:20201113T130000Z
DTEND:20201113T140000Z
UID:TALK153502@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Modalities are categorical constructs closely related to weak 
 factorization systems. They play a particularly fundamental role in Homoto
 py Type Theory\, where they are known as "n-truncations." We will be looki
 ng at the notion of modality and truncation from a category-theoretic pers
 pective\, and then give some geometric examples in Homotopy Type Theory us
 ing Higher Inductive Types. No prior knowledge of algebraic topology and o
 nly a basic understanding of category theory is needed. Should be fun!
LOCATION:https://meet.google.com/jxy-edcv-wgx
END:VEVENT
END:VCALENDAR