Functorial Semantics

An approach that interprets a syntactic category (presenting a theory or language) as an object-class in a semantic category by means of functors that preserve the syntactic structure required by the theory; models are the functors that realize syntactic operations as semantic structure-preserving maps.