# Semantics

## Idea

Semantics is the interpretation of the syntax of a theory in a model.

## Examples

### Categorical semantics of dependent type theory

Notably the semantics of type theories? is given by categories. For instance

For more on this see at categorical semantics and at relation between type theory and category theory.

category: logic

Revised on February 28, 2014 14:32:20 by Urs Schreiber (89.204.139.212)