This is a very basic question: given a theory $\mathbb{T}$, I have seen definitions of models of $\mathbb{T}$ as functions from signature $\Sigma$ to a fixed background category such that it satisfies all sentences in $\mathbb{T}$. On the other hand I have also encountered mentioning of models as objects in that category. It is not obvious to me that the two definitions are compatible with each other, but perhaps I am missing something obvious.
2026-05-10 22:30:43.1778452243
Models in categorical logic
76 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
Absolutely not. To be a model is all about the interpretation of formulas. What should it mean that $M \models \phi$?
Joyal gave a very good answer to this question in Elementary toposes. Something is done in general cartesian categories.
You can find this in many books, from Sketches of an Elephant (pag 800-900), or Sheaves in Geometry and Logic.