一价性的可实现性：适度Kan络合物
Realizability of Univalence: Modest Kan complexes
摘要：
适度Kan复形是关于Horn包含体$Λ_k[n] \to Δ[n]$具有右提升性质的适度单纯集。本文发展的范畴逻辑，需要表明，有一个适度的Kan复合物之间的单纯组装的单价宇宙。
英文摘要：
A modest Kan complex is a modest simplicial set which has a right lifting property with respect to horn inclusions $Λ_k[n] \to Δ[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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
