Institution Theory: A categorical framework that abstracts and unifies the structure and semantics of diverse logical systems. Ultraproduct: A model-theoretic construction that combines sequences ...