Yes. This follows directly from 5.1 in Strong conceptual completeness for first-order logic by Makkai (1988, Annals of Pure and Applied Logic, doi:10.1016/0168-0072(88)90019-X).
Ivan Di Liberti
- 9.1k
- 1
- 27
- 66