Semántica Functorial

Un enfoque que interpreta una categoría sintáctica (que presenta una teoría o lenguaje) como una clase de objetos en una categoría semántica mediante funtores que preservan la estructura sintáctica exigida por la teoría; los modelos son los funtores que realizan las operaciones sintácticas como mapeos semánticos que conservan la estructura.