Type theory and higher categories
Event details
| Date | 31.05.2016 |
| Hour | 10:15 › 11:30 |
| Speaker |
Karol Szumiło (University of Western Ontario) |
| Location |
CM 113
|
| Category | Conferences - Seminars |
Martin-Löf type theory is a formal system with basic homotopy theoretic concepts built in at a foundational level. It is believed that it is an "internal language of higher categories". However, even formalizing this statement seems difficult. I will propose a conjecture making it precise and outline an ongoing work towards the proof.
Links
Practical information
- Informed public
- Free
Organizer
- Magdalena Kedziorek