Search results
Results from the WOW.Com Content Network
Given two topological spaces X and Y, a homotopy equivalence between X and Y is a pair of continuous maps f : X → Y and g : Y → X, such that g ∘ f is homotopic to the identity map id X and f ∘ g is homotopic to id Y. If such a pair exists, then X and Y are said to be homotopy equivalent, or of the same homotopy type.
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology , but nowadays is learned as an independent discipline.
In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group , denoted π 1 ( X ) , {\displaystyle \pi _{1}(X),} which records information about loops in a space .
The older definition of the homotopy category hTop, called the naive homotopy category [1] for clarity in this article, has the same objects, and a morphism is a homotopy class of continuous maps. That is, two continuous maps f : X → Y are considered the same in the naive homotopy category if one can be continuously deformed to the other.
Several logical symbols are widely used in all mathematics, and are listed here. For symbols that are used only in mathematical logic, or are rarely used, see List of logic symbols. ¬ Denotes logical negation, and is read as "not".
The homotopy pullback of along the identity is nothing but the mapping path space of . The universal property of a homotopy pullback yields the natural map , a special case of a natural map from a limit to a homotopy limit. In the case of a homotopy fiber, this map is an inclusion of a fiber to a homotopy fiber.
In mathematics, especially homotopy theory, the mapping cone is a construction in topology analogous to a quotient space and denoted . Alternatively, it is also called the homotopy cofiber and also notated . Its dual, a fibration, is called the mapping fiber.
In mathematics, homotopical algebra is a collection of concepts comprising the nonabelian aspects of homological algebra, and possibly the abelian aspects as special cases. . The homotopical nomenclature stems from the fact that a common approach to such generalizations is via abstract homotopy theory, as in nonabelian algebraic topology, and in particular the theory of closed model categor