由宇宙类别定义的C系统：预升

弗拉基米尔·沃沃德斯基

本文的主要结果可以表述为“几乎表示“预升$\Ob_n的$\mu_n$和$\tilde{\mu}_n$$和$\ tilde{对象}_n局部笛卡尔闭定义的C系统上的$具有二元乘积结构的宇宙范畴及其研究这些“几乎表示”相对于宇宙的行为范畴函子。此外，我们研究了C系统上预升的一些构造以及在我们的主要证明中使用的宇宙范畴结果，但预计也会有其他应用。

关键词：类型理论、语境范畴、宇宙范畴

2010年MSC：03F50、18C50、18D15

范畴理论与应用， 2017年第32卷，第3号，第53-112页。

发布日期：2017-01-20。

http://www.tac.mta.ca/tac/volumes/32/3/32-03.pdf