Inner Fibration
In mathematics, especially in homotopy theory, a left fibration of simplicial sets is a map that has the right lifting property with respect to the horn inclusions \Lambda^n_i \subset \Delta^n, 0 \le i < n. A right fibration is defined similarly with the condition . A is one with the right lifting property with respect to every horn inclusion; hence, a Kan fibration is exactly a map that is both a left and right fibration.

Examples

A right fibration is a cartesian fibration such that each fiber is a . In particular, a
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Homotopy Theory
In mathematics, homotopy theory is a systematic study of situations in which Map (mathematics), maps can come with homotopy, homotopies between them. It originated as a topic in algebraic topology, but nowadays is learned as an independent discipline. Applications to other fields of mathematics Besides algebraic topology, the theory has also been used in other areas of mathematics such as: * Algebraic geometry (e.g., A1 homotopy theory, A1 homotopy theory) * Category theory (specifically the study of higher category theory, higher categories) Concepts Spaces and maps In homotopy theory and algebraic topology, the word "space" denotes a topological space. In order to avoid Pathological (mathematics), pathologies, one rarely works with arbitrary spaces; instead, one requires spaces to meet extra constraints, such as being Category of compactly generated weak Hausdorff spaces, compactly generated weak Hausdorff or a CW complex. In the same vein as above, a "Map (mathematics), ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]