BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Epimorphisms and Acyclic Types in Univalent Mathematics - Tom de J
 ong\, University of Nottingham
DTSTART:20240301T140000Z
DTEND:20240301T150000Z
UID:TALK211603@talks.cam.ac.uk
CONTACT:Jon Sterling
DESCRIPTION:We characterize the epimorphisms in homotopy type theory (HoTT
 ) as the fiberwise acyclic maps and develop a type-theoretic treatment of 
 acyclic maps and types in the context of synthetic homotopy theory. We pre
 sent examples and applications in group theory\, such as the acyclicity of
  the Higman group\, through the identification of groups with 0-connected\
 , pointed 1-types. Many of our results are formalized as part of the agda-
 unimath library. \n\nj.w.w. Ulrik Buchholtz and Egbert Rijke\n
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR