# Start a new discussion

## Not signed in

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

## Discussion Tag Cloud

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

• 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 $sSet$ 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.