论文标题
延长类型的严格稳定性
Strict stability of extension types
论文作者
论文摘要
我们表明，Riehl-Shulman在合成$（\ Infty，1）$ - 类别中发生的扩展类型可以在预期的语义中以某种方式解释，以便它们在替代下严格稳定。这里使用的分裂方法是由于2009年Voevodsky所致。后来由Lumsdaine（Warren）推广到本地宇宙的方法。
We show that the extension types occurring in Riehl--Shulman's work on synthetic $(\infty,1)$-categories can be interpreted in the intended semantics in a way so that they are strictly stable under substitution. The splitting method used here is due to Voevodsky in 2009. It was later generalized by Lumsdaine--Warren to the method of local universes.
