Yes. This follows directly from 5.1 in Strong conceptual completeness for first-order logic by Makkai.
Ivan Di Liberti
- 9.1k
- 1
- 27
- 66