scientific article; zbMATH DE number 4071154

MaRDI QIDQ3803296zbMATH OpenFDO

Authors J. Lambek

Publication date 1988

zbMATH Keywords

multicategorynatural number objects

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Foundations, relations to logic and deductive systems (18A15) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• N‐Categories in Logic
• scientific article; zbMATH DE number 67034
• scientific article; zbMATH DE number 4085643
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms

Cited in

(13)

• An internal language for autonomous categories
• Are the traditional philosophies of mathematics really incompatible?
• Eponymphomania
• On the logic of unification
• Universal algebraic logic. Dedicated to the unity of science
• Logic in Whitehead's universal algebra
• scientific article; zbMATH DE number 4168913 (Why is no real title available?)
• The unity of logic, pedagogy and foundations in Grassmann's mathematical work
• N‐Categories in Logic
• Algebraic and logical aspects of unification
• On the logic of UNITY
• Coherence in Cartesian closed categories and the generality of proofs
• Monoidal categories with natural numbers object

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3803296)