Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid
type: Item
instance of: scholarly article
title: Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid
zbMATH Open document ID: 0727.18003
DOI: 10.1007/BF00370825
author: P. H. Rodenburg
author: F. J. Van der Linden
published in: Studia Logica
publication date: 1989-01-01T00:00:00Z
review text: Given a C-monoid M, a direct construction of a Cartesian Closed Category with two objects U and T where \(M=Hom(U,U)\) is described. This is an answer to the question of \textit{J. Lambek} and \textit{P. J. Scott} [Introduction to higher order categorical logic (1986 ; Zbl 0596.03002)]. The paper contains the proofs of all necessary statements.
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 4200452
zbMATH Keywords: monoid of endomorphisms
zbMATH Keywords: Cartesian Closed Category
reviewed by: Serguei V. Solov'ev
MaRDI profile type: Publication
cites work: Q3727946
full work available at URL: https://doi.org/10.1007/bf00370825
OpenAlex ID: W1585908375
description: scientific article; zbMATH DE number 4200452