Weak factorizations, fractions and homotopies (Q2487462)

From MaRDI portal
Revision as of 14:08, 10 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Weak factorizations, fractions and homotopies
scientific article

    Statements

    Weak factorizations, fractions and homotopies (English)
    0 references
    0 references
    0 references
    5 August 2005
    0 references
    Let \(\mathcal{ K}\) be a category with finite coproducts and \((\mathcal{ L}, \mathcal{ R})\) a weak factorization system such that every morphism in \(\mathcal{ R}\) is a splitting epimorphism. It is proved that the category of fractions \(\mathcal{ K}[\mathcal{ R}^{-1}]\) is isomorphic to \(\mathcal{ K}/\sim\), and this is a locally small category (\(\sim\) is a homotopy relation which is induced by a cylinder object attached to \((\mathcal{ L}, \mathcal{ R})\)).
    0 references
    weak factorization system
    0 references
    homotopy
    0 references
    category of fractions
    0 references
    bisimilarity
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references