The stronger claim is true at least for locally finitely presentable categories; this follows from Proposition 4.3 in https://arxiv.org/pdf/1005.2910.pdf.
2 of 2
clarify that this applies only to locally finitely presentable categories
Mike Shulman
- 66.7k
- 7
- 162
- 368
Jiří Rosický
- 2.2k
- 1
- 17
- 16