Accessibility and presentability in 2-categories (Q2161116)

Intuitively speaking, the notion of accessibility and loccal presentability are controlled by a regular cardinal \(\lambda\), the notion of which is intrinsically set-theoretical, going against the grain for most category theorists. The authors claim that a more intrinsic categorical treatment of accessibility and presentability is possible, putting the abstract theory of accessibility and presentability in a broader perspective. The present work stems from the authors' desire to determine precisely to which extent the above claim is to be attained and what, in the definitions of accessibility and presentability, is reduced to the implant of \textit{formal} category theory, which would provide a unifying language to make accessibility and presentability two notions stemming from the expressiveness of the language of a \(2\)-category, and a more intrinsic understanding of the many applications of locally presentable categories. A synopsis of the paper goes as follows. \S 2 aims to build an easy-to-cite reference, as comprehensive as possible, for the fundamental results on doctrines. The central notion of admissibility with respect to a doctrine is the principal topic of \S 2.2. \S 2.4 introduces the notions of accessibility and presentability relative to a context. The representation theorem characterizing presentable objects as accessible and cocomplete is stated in Theorem 2.43. \S 3 deals with \textit{Gabriel-Ulmer duality} [\textit{P. Gabriel} and \textit{F. Ulmer}, Lokal präsentierbare Kategorien. (Locally presentable categories). Berlin-Heidelberg-New York: Springer-Verlag (1971; Zbl 0225.18004)] in an abstract context. \S 3.2 introduces the notion of \textit{Gabriel-Ulmer envelope} relative to a context \(v:\boldsymbol{S}\Rightarrow\boldsymbol{P}\), sketching its relation with a notion of Cauchy completeness. The main result is Theorem 3.18 (Gabriel-Ulmer duality). \S 4 studies examples, namely, classical presentable categories in \(\mathrm{CAT}\), -- presentability with respect to a sound doctrine, posets regarded as \(\left\{0,1\right\}\)-enriched categories [\textit{H.-E. Porst}, Algebra Univers. 65, No. 3, 285--298 (2011; Zbl 1220.08001)] and the general case of enriched categories.