The category of finite sets and Cartesian closed categories
type: Item
instance of: scholarly article
title: The category of finite sets and Cartesian closed categories
zbMATH Open document ID: 0509.18002
DOI: 10.1007/BF01084396
published in: Journal of Soviet Mathematics
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 18A15
Mathematics Subject Classification ID: 18B05
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 3803700
zbMATH Keywords: equality for canonical morphisms
zbMATH Keywords: internal hom functors
zbMATH Keywords: cartesian closed categories
zbMATH Keywords: decision algorithm
author: Serguei V. Solov'ev
MaRDI profile type: Publication
cites work: Deductive systems and categories
cites work: The Connection between Equivalence of Proofs and Cartesian Closed Categories
cites work: A categorical equivalence of proofs
cites work: Q5559220
cites work: Topology and logic as a source of algebra
description: scientific article; zbMATH DE number 3803700