From formulasearchengine
Revision as of 00:49, 15 November 2011 by en>Jowa fan (→‎Basic theorems: wikilink Pushout (category theory))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

In mathematics, in particular homotopy theory, a continuous mapping


where A and X are topological spaces, is a cofibration if it satisfies the homotopy extension property with respect to all spaces Y. The name is because the dual condition, the homotopy lifting property, defines fibrations. For a more general notion of cofibration see the article about model categories.

Basic theorems

  • For Hausdorff spaces a cofibration is a closed inclusion (injective with closed image); for suitable spaces, a converse holds
  • Every map can be replaced by a cofibration via the mapping cylinder construction
  • There is a cofibration (A, X), if and only if there is a retraction from

since this is the pushout and thus induces maps to every space sensible in the diagram.




fr:Cofibration pl:Korozwłóknienie zh:上纤维化