# 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

## Site Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeNov 23rd 2009
• (edited Nov 23rd 2009)

I expanded proper model category a bit.

In particular I added statement and (simple) proof that in a left proper model category pushouts along cofibrations out of cofibrants are homotopy pushouts. This is at Proper model category -- properties

On page 9 here Clark Barwick supposedly proves the stronger statement that pushouts along all cofibrations in a left proper model category are homotopy pushouts, but for the time being I am failing to follow his proof.

(??)

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeNov 23rd 2009
• (edited Nov 23rd 2009)
This comment is invalid XHTML+MathML+SVG; displaying source. <div> <p>I wrote:</p> <blockquote> but for the time being I am failing to follow his proof. </blockquote> <p>Oh, I get it. I was being stupid. Will add the statement and proof now.</p> </div>
• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeNov 23rd 2009
• (edited Nov 23rd 2009)

okay, here now -- in full beauty -- the proof that pushouts along cofibrations in left proper model categories are homotopy pushouts.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeMar 25th 2010

Added more examples and counter-examples to proper model category.

Stated Charles Rezk's theorem about passing to proper Quillen equivalent models for simplicial algebras over simplicial theories. Also stated Thomas Nikolaus' theorem about Quillen equivalent models of fibrant objects (which are in particular right proper).

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeApr 10th 2013

Made the statement that “all objects (co)fibrant” implies (left)right properness more explicit in Properties and added a citation.

• CommentRowNumber6.
• CommentAuthorMike Shulman
• CommentTimeFeb 7th 2016

I added to proper model category the result discussed at this MO question that to prove right properness we are free to assume the base object of the pullback to be fibrant.

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeFeb 20th 2017
• (edited Feb 20th 2017)

Which of the standard dg-algebra categories are proper, such as dg-(co)algebras or dg-Lie algebras?

[edit: I see here on MO discussion that the projective model structure on unbounded dgc-algebras is proper.]

• CommentRowNumber8.
• CommentAuthorMike Shulman
• CommentTimeJan 14th 2019

Mentioned in the definition section that an apparently-weaker condition suffices, with a link to the proposition below.

• CommentRowNumber9.
• CommentAuthorMike Shulman
• CommentTimeJan 14th 2019

1. Thanks for raising this. I will try to remember to look into it when I get the chance. It will not be for at least a few days.

• CommentRowNumber11.
• CommentAuthorMike Shulman
• CommentTimeJan 30th 2019

Added publication data for Every homotopy theory of simplicial algebras admits a proper model, and cited it for the characterization of right properness in terms of Quillen equivalence of slice categories.

• CommentRowNumber12.
• CommentAuthorUrs
• CommentTimeJan 30th 2019
• (edited Jan 30th 2019)

changed this slightly, from

to