Topoi of parametrized objects

zbMATH Open1411.18004arXiv1611.02267MaRDI QIDQ4631633FDOQ4631633

Authors: Marc Hoyois 

Publication date: 16 April 2019

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.

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

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

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)

zbMATH Keywords

higher topos theory

Mathematics Subject Classification ID

Topoi (18B25) Homotopy theory (55P99)

Cites Work

• Lax colimits and free fibrations in \(\infty\)-categories

Cited In (3)

• Title not available (Why is that?)
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• The stable hull of an exact \(\infty\)-category

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)