Skip to main content
7 of 7
added 3 characters in body
Ivan Di Liberti
  • 9.1k
  • 1
  • 27
  • 66

The following is a very long comment and works in $1$-category theory.

I claim that you can characterize very well coreflective subcategories.

My strategy works even for reflective.

There is a biequivalence of $2$-categories $$ \text{Lex}^{\circ} \cong \text{Pres}. $$

  • Lex is the category of small categories with finite limits, $1$-cells are functors preserving finite limits.
  • Pres is the category of finitely presentable categories, $1$-cells are accessible right adjoints.

Thus, $$\{\text{reflective subcategories of Pres}\} \leftrightarrow \{\text{coreflective subcategories of Lex}\}.$$

In a certain sense, the category Pres is the opposite of a locally presentable category. In fact, Lex is the category of algebras for the coKZ monad of free completion under finite limits (is this monad accessible?) on Cat. The category of algebras over an accessible monad defined on a locally presentable category is always locally presentable.

To conclude, as soon as one proves that Lex is locally presentable, one can derive a lot of results for Pres, just because it's the opposite of an actual locally presentable category.

Achtung!

  • Pres is not the same of $Pr^L$, nor its opposite category.
  • The free completion under finite limits is not a monad, it is a $2$-monad and I am not expert enough in $2$-category theory to say anything about its algebras but I strongly believe that Lex is finitely presentable as a $1$-category.
  • Rosicky, Adameck and Trnkova proved that, under Vopenka Principle, every subcategory closed under colimits in coreflective in a locally presentable category. In fact this is equivalent to Vopenka. Rosicky moved the theory of cotorsion theories to locally presentable categories.
Ivan Di Liberti
  • 9.1k
  • 1
  • 27
  • 66