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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMar 29th 2016
    • (edited Mar 29th 2016)

    I am splitting off homotopy category of a model category from model category. Have spelled out statement and proof of the localization construction there.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 30th 2016

    I have also added a section Derived functors spelling out statement and proof of some basic facts.

    In the course of this I touched other relevant entries. For instance to Quillen adjunction I added the proof that the various equivalent ways to state the conditions are indeed equivalent. Still need to type out the analogue for Quillen equivalences.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeAug 23rd 2020

    added to the section on derived functors statement of the derived adjunction of a Quillen adjunction

    diff, v14, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2023

    replaced a bunch of long-winded phrases of the kind “objects that are both fibrant as well as cofibrant” by: bifibrant objects

    diff, v17, current