Dependent products and 1-inaccessible universes

zbMath1466.18015arXiv1905.10220MaRDI QIDQ5854448

Giulio Lo Monaco

Publication date: 17 March 2021

Full work available at URL: https://arxiv.org/abs/1905.10220

zbMATH Keywords

large cardinalsclassifiershigher categoriesdependent sumsdependent productsGrothendieck universeselementary higher toposesgeneric morphismshigher toposes

Mathematics Subject Classification ID

Large cardinals (03E55) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Related Items (1)

Filter quotients and non-presentable \((\infty,1)\)-toposes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inaccessibility in constructive set theory and type theory
• Lax colimits and free fibrations in \(\infty\)-categories
• The strength of Martin-Löf type theory with a superuniverse. I
• A construction of type: type in Martin-Löf's partial type theory with one universe
• Set Theory
• Higher Topos Theory (AM-170)
• The strength of Martin-Löf type theory with a superuniverse. II
• Type theories, toposes and constructive set theory: Predicative aspects of AST

This page was built for publication: Dependent products and 1-inaccessible universes