Or Fiber (alternative spelling).
Fibration captures the idea of one category indexed over another category. It does this in a categorical way, that is, defined in terms of arrows.
A fibre is a more general (weaker form) of:
- a projection
- a pullback or pushout (fiber (co)product) - indexed and indexing category are the same.
- a comma category.
- one quantity defined 'over' another such as a field space.
- a base space.
- sorting or partitioning.
If we take a mapping from A to B (in this case surjective)
We might think of this as partitioning or indexing A into disjoint subsets but there is no unique arrow going the other direction (from B to A).
We can put the elements into subsets, that is, if A was a set then change it to a set of sets.
I have changed the name of 'B' to 'I' because we want to think of it as an indexing set.
|Since we have put the elements into subsets we can reverse the arrows.|
We can define the sets in A in terms of the inverse mapping.
Category of bundles over 'I'
We can turn this around and start with 'I', We can then construct a whole category of bundles that could map to it.
|Construct in Bn(I)||Corresponding construct in set|
|category of bundles over I||the comma category of functions with codomain I|
|pullback object (P,j)||bundle of pullbacks from set|
|subobject classifier||bundle of two element sets|
In Bn(I) objects are pairs, consisting of an object and a map from that object to I. Represented as: (A,f) where f:A->I
|If we have multiple bundles over I then, we can define morphisms in the category, so that this diagram commutes.|
|In terms of its internal objects:|
Here we add another stalk 'B' and add a morphism:
In order for the diagram to commute then the internal arrows can only go from an element in a germ in 'A' to an element in the corresponding germ in 'B'.
We could re-draw this as a set of fibres, within a bigger fibre, indexed by I.
The inner fibre can be permutated and the outer fibre can be permutated but the inner strands can't be moved between outer fibres.
So if we take the example of the Möbius band, that we looked at on the page here, we can see it as a fibre.
It is arbitrary where it starts and ends so it is only where we take the local view that we see it as two fibres.
Preservation of Product
A projection along a fibre looks, locally but not necessarily globally, like a product space.
The diagram on the right is intended to show a non-linear space but locally it is still a product (The contours cross at right angles).
This can be represented by a pullback square, as discussed on the page here.
|π is a 'continuous surjective map' that behaves locally like B×F->B.|
The terminology is somewhat 'Botanical' suggesting fibres growing out of I:
- The set Ai is called the stalk or fibre over i.
- The members of Ai are called the germs at i.
- The whole structure is called a bundle of sets over the base space I.
- The set A is called the stalk space of the bundle.
In geometric terms: I is a base space and A is a projection.
Fibrations of Graphs
theory: topological graph theory
|undirected graph:||covering projection|
|directed graph:||fibration (weaker form of covering projection)|
Here is an example for directed multigraphs.
Each node in the top graph maps to the bottom graph (fibration). The corresponding node always has the same number and colour of incoming arcs (but not necessarily outgoing arcs).
This gives some sort of local invariance.
|We can make a mapping between these graphs.|
|We can't reverse the mapping completely because we can't have one-to-many in a function but we can map to sets. This gives a fibre bundle.|
Here we look at applications of fibre bundles to type theory (discussed on page here).
|Here we look at a type, not like a set as a membership relationship, but more like a projection. So if we know that something is 1 or 2 then that tells us something about it, if we know that something is a number then that still gives us information about it but less than if we knew its value.|
The situation where a type depends on the value of another type (called a dependent type) is modeled by fibre bundles.
So a model of a vector category depends on its dimension:
Fibre Concept In Topology
A fiber is such a topological space which is parameterized by another (called a base).
- Fiber bundle - map between fibres in the same space.
- Fibration - fibers need not be the same space
Fibrations do not necessarily have the local Cartesian product structure that defines the more restricted fiber bundle case, but something weaker that still allows 'sideways' movement from fiber to fiber.
A sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.
Sheaves, with mappings which preserve this open set structure, form a category. This open set structure can be extended to groups, abelian groups, or commutative rings. To make it more general and apply it to more general categories we use the concept of presheaf which uses 'restriction morphisms'.
More about presheaf on page here.
No unique functor between objects but multiple functors (hom-set).
Allows us to represent a metric space as a category.
|Relationship between fibrations|
- Eff = effective topos
As a Pullback
See pullback page.