Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 558 topics
CoqPL 2017: Call for Participation [registration is open] Emilio Jesús Gallego Arias 12/8/16
Deadline extension: JAR special issue on HoTT/UF Peter LeFanu Lumsdaine 11/18/16
tenure-track and postdoctoral positions at UWO Dan Christensen 11/7/16
fully funded graduate positions in Math at UWO Dan Christensen 11/7/16
Is [Equiv Type_i Type_i] contractible? Matthieu Sozeau 10/31/16
Connected 1-Types Валерий Исаев 10/31/16
HoTT library Bas Spitters 10/25/16
Great News from Stockholm Steve Awodey 10/24/16
weak univalence with "beta" implies full univalence Dan Licata 10/16/16
Joyal equivalence II Martin Hotzel Escardo 10/13/16
Re: Joyal's version of the notion of equivalence Martin Hotzel Escardo 10/13/16
Summer opportunities at the IAS v v 10/12/16
Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT Krzysztof Kapulkin 10/5/16
The Cayley-Dickson Construction in HoTT Ulrik Buchholtz 10/5/16
new slides v v 9/23/16
CoqPL 2017: Call for Presentations for the Workshop on Coq for Programming Languages Emilio Jesús Gallego Arias 9/22/16
Semantic Success Condition for the definability of Semi-Simplicial Types Dimitris Tsementzis 9/21/16
A puzzle about "univalent equality" Andrew Polonsky 9/19/16
In case you haven’t heard what’s going on in Leicester … Martin Hotzel Escardo 9/16/16
Postdoctoral position in univalent foundations and type theory at the IAS v v 9/12/16
More topics »