Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid (Q803268)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid |
scientific article |
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