Realizability of Univalence: Modest Kan complexes
From MaRDI portal
Abstract: A modest Kan complex is a modest simplicial set which has a right lifting property with respect to horn inclusions . This paper develops the categorical logical that is required to show that there is a univalent universe of modest Kan complexes among simplicial assemblies.
This page was built for publication: Realizability of Univalence: Modest Kan complexes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6252624)
