Online talk: Effective Kan fibrations in simplicial sets
July 06, 2020 -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 available.