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: category of fibrant objects

Bottom of Page

1 to 4 of 4

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJul 15th 2014
    • (edited Jul 15th 2014)

    in reaction to an email discussion I had, I have finally added to the section Derived hom-spaces at category of fibrant objects the definition and theorem that had been alluded to there all along.

    • CommentRowNumber2.
    • CommentAuthorZhen Lin
    • CommentTimeOct 28th 2014

    I added an observation of Karol Szumiło that sSetsSet is a category of fibrant (!) objects with the sharp maps as the “fibrations”. More generally this trick can be applied to (suitable full subcategories of) right proper model categories.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 28th 2014
    • (edited Oct 28th 2014)

    Thanks!

    For the convenience of other readers: you mean this paragraph .

    I have added menioning of and pointer to sharp map and created that entry.

  4. polished proof and put nicer diagram

    Jonas Frey

    diff, v60, current

1 to 4 of 4

  1.