Topoi of parametrized objects

MaRDI QIDQ4631633zbMATH OpenFDO

Authors Marc Hoyois

Publication date 16 April 2019

Full work available at URL https://arxiv.org/abs/1611.02267, http://www.tac.mta.ca/tac/volumes/34/9/34-09abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

higher topos theory

Mathematics Subject Classification ID

Topoi (18B25) Homotopy theory (55P99)

Abstract: We give necessary and sufficient conditions on a presentable infinity-category C so that families of objects of C form an infinity-topos. In particular, we prove a conjecture of Joyal that this is the case whenever C is stable.

Recommendations

• Univalence in locally Cartesian closed categories
• Higher categories and homotopical algebra
• The effective model structure and \(\infty\)-groupoid objects
• Generating families in a topos
• Higher Topos Theory (AM-170)

Cites work

• Lax colimits and free fibrations in -categories

Cited in

(6)

• The stable hull of an exact \(\infty\)-category
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• scientific article; zbMATH DE number 2040928 (Why is no real title available?)
• The quantum monadology
• Exodromy beyond conicality
• Left-exact localizations of -topoi. III: The acyclic product

This page was built for publication: Topoi of parametrized objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4631633)