On some connections between logic and category theory
From MaRDI portal
Publication:919088
DOI10.1007/BF00370824zbMath0706.18001MaRDI QIDQ919088
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
algebraic theories; foundations of mathematics; deductive systems; internal languages; structured categories
03G30: Categorical logic, topoi
18C10: Theories (e.g., algebraic theories), structure, and semantics
18A15: Foundations, relations to logic and deductive systems
Related Items
Least fixpoints of endofunctors of cartesian closed categories, Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
Cites Work