Maths - Kan Fibration


Kan fibrations (AKA Kan complexes) are part of the theory of simplicial sets. Kan fibrations are the fibrations of the standard model category structure on simplicial sets.

For a general discussion about fibrations see the 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.


Extension is dual to lift.

Fibrations and Cofibrations are used in model theory.

Catagorical Products in Directed Graphs

Following on from the concept of catagorical product (discussed on page here) here we have an example where we have the product of two directed graphs.


In this example the objects to be multiplied together (B and C) both consist of two points and a directed line segment between them. The product will be a plane surface defined by the arrows shown here and their compositions.

To see this in more detail see the example of products in a simplicial set on this page.

Concentrating on the connection between the product and C.

  • There is a map from the points in the product to the points in C (shown as red arrows).
  • We can construct an arrow, in the opposite direction, from the arrows in the product to the arrows in C (shown as blue double-line arrow).

So the structure in C 'lifts' up to the same structure between sub-graphs.


This is a similar construct to a fibration (see page here) but here we have not invoked the concepts of a topological space or continuous maps between them.

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.