Workshop on Higher Dimensional Algebra, Categories and Types
The Workshop on Formal Topology will be followed on June 20 by a one-day workshop on Higher Dimensional Algebra, Categories and Types.
The importance of higher dimensional structure for mathematics and computer science has been recognized for a long time. However, recent connections between homotopy theory and type theory have spurred new activity that is connecting previously unrelated topics. The workshop will be a place for meeting and dissemination of ideas between researchers from different areas who all use higher dimensional structures.
A preliminary programme is available.
- Nicola Gambino
- Neil Ghani
- Zhaohui Luo
- Erik Palmgren
- Randy Pollack
- Urs Schreiber
- Bas Spitters
- Thomas Streicher
There will be no separate post-proceedings for HDACT, as there is already an excellent venue for such papers: the MSCS special issue “From Type Theory and Homotopy Theory to Univalent Foundations”.