Content deleted Content added
Created "Proper model structure". |
Added short description. |
||
Line 1:
{{Short description|Special kind of model structure}}
In [[higher category theory]] in [[mathematics]], a '''proper model structure''' is a [[model structure]] in which additionally weak equivalences are preserved under [[Pullback (category theory)|pullback]] (fiber product) along fibrations, called ''right proper'', and [[Pushout (category theory)|pushouts]] (cofiber product) along cofibrations, called ''left proper''. It is helpful to construct weak equivalences and hence to find isomorphic objects in the [[homotopy theory]] of the [[Model category|model structure]].
| |||