Embedding of a free cartesian-closed category into the category of sets

DOI10.1016/S0022-4049(96)00137-5zbMath0898.18004OpenAlexW2090644756MaRDI QIDQ1380064

Djordje Čubrić

Publication date: 1 November 1998

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(96)00137-5

zbMATH Keywords

embeddingcategory of setstyped \(\lambda\)-calculusfree cartesian-closed category

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Embedding theorems, universal categories (18B15) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)

Related Items

Some lambda calculi with categorical sums and products ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS

Cites Work

• The lambda calculus, its syntax and semantics
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
• The category of finite sets and Cartesian closed categories
• Lambek's categorical proof theory and Läuchli's abstract realizability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item