Categorical logic and model‐theoretical methods form two complementary approaches to the study of formal structures and their semantics. Categorical logic interprets logical systems as objects and ...