On some connections between logic and category theory

DOI10.1007/BF00370824zbMath0706.18001MaRDI QIDQ919088

No author found.

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

algebraic theoriesfoundations of mathematicsdeductive systemsinternal languagesstructured categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Foundations, relations to logic and deductive systems (18A15)

Related Items (2)

Least fixpoints of endofunctors of cartesian closed categories ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus

Cites Work

• Unnamed Item
• Categorical semantics for higher order polymorphic lambda calculus

This page was built for publication: On some connections between logic and category theory