being called a homotopy (/həˈmɒtəpiː/, hə-MO-tə-pee; /ˈhoʊmoʊˌtoʊpiː/, HOH-moh-toh-pee) between the two functions. A notable use of homotopy is the definition...

In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental...

In mathematics, the homotopy principle (or h-principle) is a very general way to solve partial differential equations (PDEs), and more generally partial...

is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger...

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...

In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other....

mathematics, the homotopy category K(A) of chain complexes in an additive category A is a framework for working with chain homotopies and homotopy equivalences...

branch of mathematics, a homotopy sphere is an n-manifold that is homotopy equivalent to the n-sphere. It thus has the same homotopy groups and the same homology...

mathematics, A1 homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties...

of topology, a regular homotopy refers to a special kind of homotopy between immersions of one manifold in another. The homotopy must be a 1-parameter...

in glossary of topology are generally omitted. Abstract homotopy theory and motivic homotopy theory are also outside the scope. Glossary of category theory...

In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intuitionistic type theory, based on...

In mathematics, in particular in homotopy theory within algebraic topology, the homotopy lifting property (also known as an instance of the right lifting...

In mathematics, the homotopy category is a category built from the category of topological spaces which in a sense identifies two spaces that have the...

topology, a rational homotopy n {\displaystyle n} -sphere is an n {\displaystyle n} -dimensional manifold with the same rational homotopy groups as the n {\displaystyle...

In mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber) is part of a construction that associates a fibration...

{\displaystyle p\colon E\to B} satisfies the homotopy lifting property for a space X {\displaystyle X} if: for every homotopy h : X × [ 0 , 1 ] → B {\displaystyle...

also define paths and loops in pointed spaces, which are important in homotopy theory. If X {\displaystyle X} is a topological space with basepoint x...

In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized...

computational method used in numerical algebraic geometry is homotopy continuation, in which a homotopy is formed between two polynomial systems, and the isolated...

terms. A parallel development was the category of spectra in homotopy theory. The homotopy category of spectra and the derived category of a ring are both...

Haskell (/ˈhæskəl/) is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for...

topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence. Although algebraic topology primarily uses algebra to study...

In mathematics, especially homotopy theory, the mapping cone is a construction in topology analogous to a quotient space and denoted C f {\displaystyle...

In mathematics, algebraic homotopy is a research program on homotopy theory proposed by J.H.C. Whitehead in his 1950 ICM talk, where he described it as:...

cross-section of a bundle. The older meaning for obstruction theory in homotopy theory relates to the procedure, inductive with respect to dimension, for...

technical difficulties, but they all determine the same homotopy category, known as the stable homotopy category. This is one of the key points for introducing...

the homotopy extension property indicates which homotopies defined on a subspace can be extended to a homotopy defined on a larger space. The homotopy extension...

In stable homotopy theory, a ring spectrum is a spectrum E together with a multiplication map μ: E ∧ E → E and a unit map η: S → E, where S is the sphere...

deformations, such as the homeomorphism between a trefoil knot and a circle. Homotopy and isotopy are precise definitions for the informal concept of continuous...