Categorical logic and Makkai’s conceptual completeness theorem

The conceptual completeness theorem answers a fundamental question: given the category of models of a theory, how much of the theory’s syntax can be recovered? After a gentle introduction to categorical logic and classifying categories, I will explain Makkai’s remarkable result showing that the semantic category, together with ultraproduct-preserving functors, determines the theory up to definitional equivalence.