×

Algebraic theories in toposes. (English) Zbl 0392.18006

Indexed Categ. Appl., Lect. Notes Math. 661, 141-242 (1978).

MSC:

18B25 Topoi
03G30 Categorical logic, topoi
08C05 Categories of algebras
18C10 Theories (e.g., algebraic theories), structure, and semantics
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)

Citations:

Zbl 0372.00009