Korelamináció

A kofibráció a topológiai terek közötti folyamatos leképezés egy bizonyos típusa, amelynek meghatározó tulajdonsága kettős a homotópia emelési tulajdonságával , amely a kötegekre érvényes .

Definíció

A topológiai terek közötti folytonos térképet kofibrációnak nevezzük, ha minden topológiai térre kielégíti a homotópia kiterjesztési tulajdonságát . $i\colon A\to X$ $A$ $x$ $Y$

Tulajdonságok

Hausdorff terek esetében minden kofibráció zárt és injektív .

A Codecartes négyzetben a kofibráció kofibráció.

Bármely leképezés faktorizálható kofibrációval. Vagyis ha egy tetszőleges folytonos leképezés és ego egy henger , akkor a beágyazáshoz és a vetítéshez : $f\kettőspont X\Y-ra$ ${\displaystyle Z_{f))$ $j\colon x\mapsto(x,0)$ $r\colon (x,s)\mapsto f(x)$ $X{\xrightarrow {j}}Z_{f}{\xrightarrow {r}}Y$

kivégzés alatt áll .

f=r\circ j

Ha a zárvány kofibráció, azaz deformációs visszahúzás . $A\X részhalmaz$ $A$ $x$

Változatok és általánosítások

A homotópia colimit általánosítja a kofibráció fogalmát a homotópia colimitra.