Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid (Q803268)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid |
scientific article; zbMATH DE number 4200452
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid |
scientific article; zbMATH DE number 4200452 |
Statements
Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid (English)
0 references
1989
0 references
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.
0 references
monoid of endomorphisms
0 references
Cartesian Closed Category
0 references
