1 pages tagged with "mathematics"
Online talk: Effective Kan fibrations in simplicial sets
July 06, 2020 - 77 words - 1 mins
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