All Questions
Tagged with locally-presentable-categories infinity-topos-theory
1 question
6
votes
0
answers
179
views
Does $Pr^L_\kappa \in Pr^L$ behave like an "object classifier" or "universe"?
Let $Pr^L$ denote the $\infty$-category of presentable $\infty$-categories and left adjoint functors. Let $Pr^L_\kappa \subset Pr^L$ denote the locally-full subcategory of $\kappa$-compactly-generated ...