Let $\mathit{Pr}^L$ be the $\infty$-category of presentable $\infty$-categories and continuous functors in some universe. Is it presentable itself a larger universe?
2 Answers
When you pass to a larger universe, all categories that were in your old universe become small. A small category which is not a poset cannot be closed under colimits (think about taking coproducts with index sets larger than your category), and so cannot be presentable. All this applies equally well to $(\infty,1)$-categories, and ought to apply to any other reasonable generalized kind of category.
-
2$\begingroup$ Was this answer downvoted because it is incorrect? It seems right to me. $\endgroup$– ZippyJul 4, 2015 at 19:45
Let us fix a universe and use the words "large" and "small" with respect to that universe. Presentable $\infty$-categories are typically large $\infty$-categories (since, as the previous answer mentioned, small $\infty$-categories are rarely presentable). One might then expect that $Pr^L$ would be a "very large" $\infty$-category (like the $\infty$-category $\widehat{Cat}_\infty$ of possibly large $\infty$-categories). In that case $Pr^L$ would turn from being very large to just large upon increasing the universe, and it would be natural to ask if it then becomes presentable. However, the $\infty$-category $Pr^L$ is actually not "very large", but just large. This is because presentable $\infty$-categories, though being large, are actually determined by a small amount of data. To formally prove this one might consider, for example, for each cardinal $\kappa$, the subcategory $Pr^L_{\kappa} \subseteq Pr^L$ consisting of $\kappa$-compactly generated presentable $\infty$-categories and functors preserving $\kappa$-compact objects between them (see section 5.5.7 of higher topos theory). Proposition 5.5.7.10 loc. cit. shows that when $\kappa > \omega$ the $\infty$-category $Pr^L_{\kappa}$ is equivalent to the $\infty$-category of small $\infty$-categories admitting $\kappa$-small colimits, and hence $Pr^L_{\kappa}$ is large (but not very large). Consequently, $Pr^L$ is a large colimit of large $\infty$-categories, and hence large (but again not very large). It follows that if we increase the universe $Pr^L$ will become small, and it will not be so natural to ask if it is presentable. On the other hand, since $Pr^L$ is just large you might ask if it is presentable without increasing the universe. In principle the answer would have to be no, because then $Pr^L$ would contain itself, and we know that such stories do not end well (although I admit I do not have a direct proof in mind, and would like to see one). Morally, $Pr^L$ should not be a presentable $\infty$-category, but some $(\infty,2)$-version of the notion, similarly to how the $\infty$-category of $\infty$-topoi should be something like an $(\infty,2)$-topos (but not an $(\infty,1)$-topos). Unfortunately, I am not aware of these ideas being made precise anywhere.
Edit: a formal argument why $Pr^L$ is not presentable (in the current universe) is that it is not locally small, see comments below.
-
1$\begingroup$ Even "very large" categories become small when you pass to a larger universe. For instance, if $V_\kappa$ is a universe, then the collection of all "large" categories in $V_\kappa$ has cardinality only $2^\kappa$, which is far smaller than any inaccessible larger than $\kappa$. $\endgroup$ Jul 4, 2015 at 20:24
-
1$\begingroup$ @EricWofsey, you're right, but after you made this enlargement it will not be interesting anymore to ask if the original $\infty$-category is presentable. Instead, you should stop when it is just large, and ask if it is presentable then. $\endgroup$ Jul 4, 2015 at 20:32
-
1$\begingroup$ I think there is just a terminology gap here. To avoid confusion, one should not (as I did) use the language of "large" and "small" and the language of universes at the same time. By a large $\infty$-category I just meant a small $\infty$-category of the next universe. Consequently, the $\infty$-category of possibly large $\infty$-categories is what would be the $\infty$-category of small $\infty$-categories in the next universe, and hence not small in the next universe. These kind of objects is what I called "very large". $\endgroup$ Jul 4, 2015 at 20:52
-
5$\begingroup$ It just occurred to me that $Pr^L$ is not presentable simply because it is not locally small (the space of functors between two presentable $\infty$-categories is the maximal $\infty$-groupoid of a presentable $\infty$-category, and as such is large). However, when considered as an $(\infty,2)$-category, the mapping categories in $Pr^L$ between every two objects are presentable, and hence controlled by a small amount of data. This might be considered as evidence that $Pr^L$ should be something like $(\infty,2)$-presentable. $\endgroup$ Jul 4, 2015 at 21:00
-
1$\begingroup$ @EricWofsey, Let $\lambda > \tau > \kappa$ be strongly inaccessible cardinals and let $V_{\kappa}, V_{\tau}, V_{\lambda}$ be the associated universes. If $V_{\kappa}$ is my universe then I call elements in $V_{\kappa}$ "small sets", elements of $V_{\tau}$ "large sets" and elements of $V_{\lambda}$ "very large sets". If I change my universe to $\tau$ it means I now refer to sets in $V_{\tau}$ as "small" and to sets in $V_{\lambda}$ as "large" -> $\endgroup$ Jul 5, 2015 at 20:46