Topoi of parametrized objects
arXiv:1611.02267
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.
final version