An Informal Introduction to Homotopy Type Theory via Synthetic Homotopy Theory
Event details
| Date | 09.04.2025 |
| Hour | 14:15 › 15:15 |
| Speaker | Johannes Schipp von Branitz, University of Nottingham |
| Location | |
| Category | Conferences - Seminars |
| Event Language | English |
Homotopy type theory is an intuitionistic type theory with the aspiration of becoming a foundation for all of mathematics.
In this talk we introduce the basic type theoretic constructions and their semantic interpretation in an infinity topos, before discussing the synthetic analogues of classical homotopy theoretic constructions such as Eilenberg-MacLane spaces and Whitehead's theorem
Practical information
- Informed public
- Free
Organizer
- Virgile Constantin
Contact
- Maroussia Schaffner