Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: homotopy in a model category

Bottom of Page

1 to 4 of 4

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMar 29th 2016

    I have split off an entry homotopy in a model category from homotopy and then spelled out statement and proof of the basic lemmas.

  2. There was a mistake.

    Béranger Seguin

    diff, v3, current

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeApr 26th 2021

    In the lemma

    Let XX be cofibrant. If there is a left homotopy f⇒ Lgf \Rightarrow_L g then there is also a right homotopy f⇒ Rgf \Rightarrow_R g (def. \ref{LeftAndRightHomotopyInAModelCategory}) with respect to any chosen path object.

    I believe the chosen path object must also be good. (Otherwise, YY itself is a non-good path object, and a right homotopy with respect to it would say f=gf=g.)

    diff, v4, current

    • CommentRowNumber4.
    • CommentAuthorclemence
    • CommentTimeJul 24th 2024

    typos

    diff, v5, current

1 to 4 of 4

  1.