On some connections between logic and category theory
From MaRDI portal
Publication:919088
DOI10.1007/BF00370824zbMath0706.18001MaRDI QIDQ919088
No author found.
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
algebraic theoriesfoundations of mathematicsdeductive systemsinternal languagesstructured categories
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
This page was built for publication: On some connections between logic and category theory