Cocompactness and Presentability

Thorger Geiß, Phil Pützstück, Maxime Ramzi

We give a short proof that $\kappa$-cocompact objects in a presentable category are subterminal. As our main result, we extend this to the setting of presentable $\infty$-categories. A…