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

Can I check the accessibility of a functor 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 $\lambda$-directed colimits of $\lambda$-presentable objects?

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