Topoi of parametrized objects
Category Theory
2019-04-23 v2 Algebraic Topology
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.
Keywords
Cite
@article{arxiv.1611.02267,
title = {Topoi of parametrized objects},
author = {Marc Hoyois},
journal= {arXiv preprint arXiv:1611.02267},
year = {2019}
}
Comments
final version