Logic Seminar - Mathieu Anel
| Dates: | 15 October 2025 |
|---|
| Times: | 14:00 - 15:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Current University students |
|---|
|
Speaker: Mathieu Anel (Carnegie Mellon University)
Non-univalent Universes
Homotopy type theory is famous for its univalence axiom on the family of all types. To give a perspective on this condition, I will talk about non-univalent families of objects! As it happens, they are quite ubiquitous, more than univalent ones (natural numbers, ordinals, cardinals, Zermelo-Frenkel trees, real numbers, grassmannians...) I will explain how they are always connected to a univalent family and the problems to move from one to the other.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester
