# Intuition for cofibration

The notion of a fibration has a nice geometric intuition of one topological space (a fiber) being parametrized by another topological space (the base) -- this is taken from the Wikipedia entry on Fibration.

Now, I would like to know if there is an analogous geometric picture for the situation of cofibrations. Like that of a parametrized inclusion of a space into another space (apologies if this is nonsense).

-

Yes, there are precisely the dual diagrams defining a cofibration. The way to think about them -- the way I think about them, at least -- is just that they're sufficiently nice inclusions, such that the subspace has a bit of "wiggle room". This is made precise in the definition of a "neighborhood deformation retract (NDR) pair", which you can read about in May's Concise Course in Algebraic Topology. Maybe the best example to keep in mind is when you turn an arbitrary map into a cofibration with the "mapping cylinder" construction; then it's obvious that the subspace has plenty of wiggle room.

-
From this perspective, the important aspect of a fibration is not that it has a well-defined fiber (as a homotopy type), but rather that it behaves well with respect to lifting maps through the morphism. Dually, the important aspect of a cofibration is that it behaves well with respect to extending maps along the morphism. –  Aaron Mazel-Gee Nov 13 '12 at 22:47
Thanks for the answer. So for cofibration there is not a "dual" geometric intuition to that of the fibration? I mean, I understand the algebraic duality between fibration and cofibration, but cannot grasp the geometric idea (if any) so easily. –  camilo Nov 14 '12 at 15:02
(cont.) An instance of the nice intuition for fibration is for fiber bundles. Here one may have non-trivial bundles, as is always exemplified by the Moebius band. Is there a "dual" geometric picture to this situation? that is, where you define a cofibration "locally" which is nevertheless globally nontrivial? –  camilo Nov 14 '12 at 15:06
@camilo: I'm not sure; there might be some connection that I just don't see though. However, here is another duality-type statement. A fibration sits in a fiber sequence, which loops backwards indefinitely (look up the "Puppe sequence", or maybe Dold-Puppe) and induces a lexseq for homotopy classes of maps in (e.g. from spheres -- this is the lexseq in homotopy). On the other hand, a cofibration sits in a cofiber sequence, which suspends forward indefinitely, and this induces a lexseq for homotopy classes of maps out (e.g. to Eilenberg-MacLanes -- this is the lexseq in cohomology). –  Aaron Mazel-Gee Nov 15 '12 at 1:25
In this setup, if a fiber sequence $X \rightarrow Y \rightarrow Z$ is trivial (so $Y \simeq X \times Z$) then the connecting maps in homotopy will be trivial; dually, if a cofiber sequence $A \rightarrow B \rightarrow C$ is trivial (so $C \simeq B \vee \Sigma A$) then the connecting maps in cohomology will be trivial. I think these facts get at what you're asking. –  Aaron Mazel-Gee Nov 15 '12 at 1:29