Every Elementary Higher Topos has a Natural Number Object

zbMath1464.18006arXiv1809.01734MaRDI QIDQ5858943

Nima Rasekh

Publication date: 15 April 2021

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

zbMATH Keywords

higher category theoryelementary topos theorynatural number objects

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Abstract and axiomatic homotopy theory in algebraic topology (55U35) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Related Items (2)

On the James and Hilton-Milnor splittings, and the metastable EHP sequence ⋮ Filter quotients and non-presentable \((\infty,1)\)-toposes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Univalence in locally Cartesian closed categories
• Foundations of set theory
• Sheaves in geometry and logic: a first introduction to topos theory
• The 2-category theory of quasi-categories
• Homotopy-Initial Algebras in Type Theory
• Serre classes for toposes
• A model for the homotopy theory of homotopy theory
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Higher Topos Theory (AM-170)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• A formulation of the simple theory of types
• The univalence axiom for elegant Reedy presheaves

This page was built for publication: Every Elementary Higher Topos has a Natural Number Object