Publication:3803296
From MaRDI portal
zbMath0656.18002MaRDI QIDQ3803296
Publication date: 1988
03G30: Categorical logic, topoi
08B05: Equational logic, Mal'tsev conditions
18C10: Theories (e.g., algebraic theories), structure, and semantics
08C05: Categories of algebras
18A15: Foundations, relations to logic and deductive systems
Related Items
Coherence in Cartesian closed categories and the generality of proofs, Monoidal categories with natural numbers object, An internal language for autonomous categories, Are the traditional philosophies of mathematics really incompatible?