Categorical logic

An indefinite series of blog posts which attempt to explain the high points of the categorical and type-theoretic Weltanschauung.

  1. Introduction
  2. Algebraic theories
  3. Set-theoretic models of algebraic theories: I
  4. Set-theoretic models of algebraic theories: II
  5. Algebraic type theories
  6. Generalized elements, functions, and categories