{"id":"arxiv/2609.20533","url":"https://arxiv.org/abs/2609.20533","tags":["math.CT","math.AT","math.GN","math.LO"],"score":0,"title":"Cocompactness and Presentability","domain":"math.CT","source":"arxiv","authors":["Thorger Geiß","Phil Pützstück","Maxime Ramzi"],"reviews":0,"subject":"math.CT","summary":"We give a short proof that $κ$-cocompact objects in a presentable category are subterminal. As our main result, we extend this to the setting of presentable $\\infty$-categories. A consequence is that an $\\infty$-category $\\mathcal{C}$ such that both $\\mathcal{C}$ and $\\mathcal{C}^\\mathsf{op}$ are presentable is a small complete lattice, extending a classical theorem of Gabriel-Ulmer. Along the way, we prove a nilpotence result for phantom maps in general pointed presentable $\\infty$-categories. Additionally, we show that a strengthening of our main result is equivalent to the existence of a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}