skip to content

Department of Computer Science and Technology

Friday, 1 March, 2024 - 14:00 to 15:00
Tom de Jong, University of Nottingham
SS03, Computer Laboratory

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 present 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.

j.w.w. Ulrik Buchholtz and Egbert Rijke

Seminar series: 
Logic and Semantics Seminar

Upcoming seminars