Topoi of parametrized objects
classification
🧮 math.CT
math.AT
keywords
objectscaseconditionsconjecturefamiliesformgiveinfinity-category
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.