The category of finite sets and Cartesian closed categories
From MaRDI portal
Publication:1838563
DOI10.1007/BF01084396zbMath0509.18002MaRDI QIDQ1838563
Publication date: 1983
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
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