Topics in the theory of enriched accessible categories
The aim of this thesis is to further develop the theory of accessible categories in the enriched context. We study and compare the two notions of accessible and conically accessible 𝒱-categories, both arising as free cocompletions of small 𝒱-categories: the former under flat-weighted colimits and the latter under filtered colimits. These two notions are not the same in general, however we show that they coincide for many significant bases of enrichment such as Cat and SSet, and differ just by Cauchy completeness for many algebraic examples including Ab, R-Mod and GAb. We then provide new characterization theorems for these by considering some notions of virtual orthogonality and virtual reflectivity which generalize the usual reflectivity and orthogonality conditions for locally presentable categories. The word virtual refers to the fact that the reflectivity and orthogonality conditions are given in the free completion of the 𝒱-category involved under small limits, instead of the 𝒱-category itself. We then prove that the 2-category of accessible 𝒱-categories, accessible 𝒱-functors, and 𝒱-natural transformations has all flexible limits. In the final chapters we study, characterize, and provide duality theorems in the setting of accessible 𝒱-categories with limits of a specified class Ψ; in this context, instead of the free completion under small limits, we consider “free completions” under a specific type of colimits ℭ for which, in particular, ℭ-colimits commute in 𝒱 with Ψ-limits. This allows us to capture the theories of weakly locally presentable, locally multipresentable, locally polypresentable, and accessible categories as instances of the same general framework.