1 pages tagged with "mathematics"

Effective Kan fibrations in simplicial sets As part of the Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF), I have contributed a talk on my recent work with Benno van den Berg. The talk is available on youtube. An abstract can be found here and the full paper is now also availab… read more