The category of finite sets and Cartesian closed categories

DOI10.1007/BF01084396zbMath0509.18002MaRDI QIDQ1838563

Serguei V. Solov'ev

Publication date: 1983

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

cartesian closed categoriesdecision algorithmequality for canonical morphismsinternal hom functors

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)

Related Items

Proof of a conjecture of S. Mac Lane, Embedding of a free cartesian-closed category into the category of sets, Provable isomorphisms of types, Extensional proofs in a propositional logic modulo isomorphisms, On the unification problem for Cartesian closed categories, Second-order type isomorphisms through game semantics, The Typed Böhm Theorem, Using types as search keys in function libraries, Remarks on isomorphisms in typed lambda calculi with empty and sum types, Automorphisms of types in certain type theories and representation of finite groups, Efficient and flexible matching of recursive types, Isomorphism of intersection and union types

Cites Work

• Unnamed Item
• A categorical equivalence of proofs
• The Connection between Equivalence of Proofs and Cartesian Closed Categories
• Topology and logic as a source of algebra
• Deductive systems and categories