Maths - Cofibration


This page continues from the model category page here and fibration page here.

Fibration and Co-fibration

Homotopy has the concept of:


(lifting property)

(Extension Property)

(see page here)

(see page here)

(simplicial sets)

Kan fibration
(see page here)
Kan extension
(see page here)

Kan fibrations are combinatorial analogs of Serre fibrations of topological spaces.

Cofibration - Point to Line Map Example

The inverse of the line to point fibration is a continuous map from a point to a line. The point can map to any point in the line, so we can think of this as picking out a subset. diagram
diagram For it to be a continuous map the preimage of the open sets must be an open set. So all the open sets in the line must map back to the open set containing the point.

This is the homotopy extension property. When we look at more complicated examples (see cofibration page) we will see a mapping to a subset can be extended to the whole set.

Extension Property in Topology

This is the inverse of the lift property. There is an injection and in this example the open sets in the other direction collapse to an open set with a single vertex.

In the more general case maps from an open subset can be expanded to the whole (open) set.


For more about the extension property see the page here.

If we reverse the arrows in the diagram for fibrations (on the previous page) we get the diagram for cofibrations:

Co-fibration involves the concept of extension

Extension is dual to lift.

If we have a path and part of that path is specified by an interval, how do we extend that interval? diagram
When we inject A×I U X×0 into X×I we seem to be able to fill in the missing corner. diagram
Here the diagram has been flipped, to go from left to right, to correspond to the diagrams in Wiki and nCatLab: diagram
diagram This looks complicated so lets approach it differently

As a motivating example lets look at a simplicial complex as discussed on the page here.

Each face (above dimension 0) will contain multiple sub-faces so this starts the look like a many:one relationship.

face maps
diagram However, in a complex, faces can share the same boundary so there is a many:one relationship in the opposite direction. For instance, 'ab' is contained in both 'abc' and 'abd'.
So the relationship between say, a triangle and a line is a many:many relationship. This can be modeled like this:
co fibre sequence

So each of these maps is like a subset of a product.

This can be modeled using linear algebra (vector and matrix) although not quite in the usual way. Where the shapes are the vectors (just a list of subshapes) and the relationships between them are matrices. Say:


Related Pages on this Site

metadata block
see also:


Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

cover Introduction to Topological Manifolds (Graduate Texts in Mathematics S.)

Other Books about Curves and Surfaces

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2024 Martin John Baker - All rights reserved - privacy policy.