Factorization systems as Eilenberg-Moore algebras (Q1208242)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Factorization systems as Eilenberg-Moore algebras
scientific article

    Statements

    Factorization systems as Eilenberg-Moore algebras (English)
    0 references
    0 references
    0 references
    16 May 1993
    0 references
    A functorial notion of factorization system is introduced and studied. It is shown that this notion is equivalent to the common notion of orthogonal factorization system with the usual diagonalization property (in brief, functorial choice of ``diagonals'' necessarily yields their uniqueness). Another interesting result asserts that the orthogonal factorization systems are equivalently described by the Eilenberg-Moore algebras with respect to the monad on \textbf{Cat} which assigns to a category \({\mathbf K}\) its morphism category \({\mathbf K}^ 2\).
    0 references
    0 references
    functorial notion of factorization system
    0 references
    orthogonal factorization system
    0 references
    diagonalization
    0 references
    Eilenberg-Moore algebras
    0 references
    morphism category
    0 references
    0 references