Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have difficulties assimilating the notion of cofibration. I seem to get lost in the diagrams and technicalities (e.g. Hatcher/Bredon/Spanier). I'd be grateful if someone helped me out with that.

Please correct me if I'm wrong.

Suppose $i: A \hookrightarrow X$ is a cofibration (for simplicity, let's say it is an inclusion). Now let $Y$ be some topological space and $g: X \rightarrow Y$ any map.

In words, the cofibration seems to tell me that if we have a map $f: A \rightarrow Y$ which homotopy commutes with $g \circ i$ via some homotopy $G$, then there exists another homotopy $F: X \times [0,1] \rightarrow Y$ such that [...]. This is where I'm stuck. I understand the technical definition but I don't "feel" what it really means.

As a consequence, I fail to see how it can be used. Could someone please give me a specific illustration of a cofibration at work and fill in the blank with a non-technical explanation?

Thanks.

share|improve this question
add comment

2 Answers

up vote 5 down vote accepted

... such that the restriction of $F$ to $A\times [0,1]$ is $G$. All you need to say is that "we can extend the homotopy to $X$".

In algebraic topology, whenever you say "inclusion" you almost always mean "cofibration", though this is always true e.g. for CW-complexes, which is very possibly why the distinction is often blurred. A nice condition is that when your spaces are Hausdorff, a cofibration is a closed inclusion.

share|improve this answer
    
After applying put-it-away/digest/try-again method, I think I finally got it with your simple but clear explanation. Thanks! –  johnny Aug 5 '11 at 13:29
add comment

The point of the notion of cofibration that it is, well, dual to the notion of fibration: fibrations are maps adapted to taking fibers (“kernels”) and cofibrations are maps adapted to taking cofibers aka quotients (“cokernels”); this duality is especially clear in the definition of a model category.

In some sense, this is the same duality that links (co)homology and homotopy groups — e.g. there is a long exact sequence of homotopy groups for a fibration and a long exact sequence of (co)homology groups for a cofibration. The later long exact sequence is the example of «cofibrations at work» in algebraic topology, I believe.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.