2 events with tag "homotopy"
2010
ID: 3189
Jacob Lurie develops systematic higher category theory - foundation for modern homotopy theory
ID: 3189
2013
ID: 4530
Homotopy Type Theory and Univalence Axiom - equality of types IS equivalence, solving 40-year problem
ID: 4530