Realizability of Univalence: Modest Kan complexes

2014/06/25 by Wouter Pieter Stekelenburg, Stekelenburg, Wouter Pieter
Chemistry · Materials Science · #03D80 #18G30 #18G55 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Magnetism in coordination complexes #Organic Chemistry Cycloaddition Reactions #Organometallic Compounds Synthesis and Characterization

paper · pdf · doi:10.48550/arxiv.1406.6579

openalex publication_date 2014/06/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

A modest Kan complex is a modest simplicial set which has a right lifting property with respect to horn inclusions Λ_k[n] → Δ[n]. This paper develops the categorical logical that is required to show that there is a univalent universe of modest Kan complexes among simplicial assemblies.

Related

• Univalence in Simplicial Sets
• Univalent completion
• The Simplicial Model of Univalent Foundations (after Voevodsky)
• Beck-Chevalley Conditions in Simplicial Sets
• On semisimplicial sets satisfying the Kan condition