Questions tagged [categorical-logic]

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…