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
    0 references
    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
    0 references

    Identifiers