D. Kaledin
Abstract:No new results. This is a short overview of the standard machinery of filtered colimits and accessible categories, written in parallel to a homotopically enhanced version available as Section 7.6 in <a class="link-https" data-arxiv-id="2409.17489" href="https://arxiv.org/abs/2409.17489">arXiv:2409.17489</a>.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is that in standard category theory, when dealing with large categories, the homomorphisms between functors may form a proper class rather than a set. This makes it difficult to define the category of functors between two large categories, because the morphisms between functors may not form a well - defined category.
Specifically, for two large categories \( \mathcal{C} \) and \( \mathcal{E} \), the morphisms between any two functors \( E, E' : \mathcal{C} \to \mathcal{E} \) may form a proper class instead of a set. In this case, the category of functors \( \text{Fun}(\mathcal{C}, \mathcal{E}) \) is not a well - defined category.
To solve this problem, the paper explores a method, that is, considering those functors that preserve certain types of limits (such as filtered limits). Through this method, it can be ensured that the morphisms between functors do form a set, thus making the category of functors \( \text{Fun}(\mathcal{C}, \mathcal{E}) \) a well - defined category.
The paper mainly focuses on the theories of accessible categories and filtered colimits, which were initiated by Grothendieck et al. and developed and perfected by Gabriel and Ulmer. These theories provide a systematic method to deal with these problems in large categories, enabling the category of functors to be well - defined.
In summary, the goal of the paper is to provide a concise and self - contained overview of how to deal with the problem of defining the functor category in large categories through the theories of accessible categories and filtered colimits.