Corelaminering

En cofibration är en viss typ av kontinuerlig kartläggning mellan topologiska utrymmen med en definierande egenskap som är dubbel till den homotopilyftande egenskapen som gäller för buntar .

Definition

En kontinuerlig karta , mellan topologiska utrymmen , kallas en kofibrering om den uppfyller homotopiförlängningsegenskapen för alla topologiska utrymmen . $i\colon A\to X$ $A$ $X$ $Y$

Egenskaper

För Hausdorff-utrymmen är all samfibrering sluten och injektiv .

På en Codecartes- torg är en kofibrering en samfibrering.

Eventuell kartläggning kan faktoriseras via en samfibrering. Det vill säga, om en godtycklig kontinuerlig mappning och ego är en cylinder , då för inbäddning och projektion : $f\kolon X\till Y$ ${\displaystyle Z_{f))$ $j\colon x\mapsto(x,0)$ $r\colon (x,s)\mapsto f(x)$ $X{\xrightarrow {j}}Z_{f}{\xrightarrow {r}}Y$

avrättas .

f=r\circ j

Om inneslutningen är en kofibrering, det vill säga en deformation tillbaka . $A\delmängd X$ $A$ $X$

Variationer och generaliseringar

Homotopikogränsen [ generaliserar begreppet en samfibrering till homotopikogränsen.