The stronger claim is true andat least for locally finitely presentable categories; this follows from Proposition 4.3 in https://arxiv.org/pdf/1005.2910.pdf.
Mike Shulman
- 66.7k
- 7
- 162
- 368