Skip to main content
1 of 3
Ivan Di Liberti
  • 9.1k
  • 1
  • 27
  • 66

Can I check accessibility of functors on directed colimits of presentable objects?

Let $F: \mathcal{K} \to \mathcal{C}$ be a functor between $\lambda$-accessible categories, you can assume $\mathcal{C}$ to be Set if needed.

Is it true that $F$ is $\lambda$-accessible if and only if it preserves directed colimits of $\lambda$-presentable objects?

Ivan Di Liberti
  • 9.1k
  • 1
  • 27
  • 66