University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Epimorphisms and Acyclic Types in Univalent Mathematics

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Epimorphisms and Acyclic Types in Univalent Mathematics

Download to your calendar using vCal

If you have a question about this talk, please contact Jon Sterling .

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

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

forthcoming Online through zoom Castelreagh room, St. John's College

Other talks

Secrets of the Surface: The Mathematical Vision of Maryam Mirzakhani ( EDI Film Screening) Quantum optics with organic molecules Peri-Operative Medicine, and Obstetrics and Gynaecology Group Work Wolfson Tool Factory Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity