homotopy

(redirected from Homotopy type)

homotopy

[hō′mäd·ə·pē]
(mathematics)
Between two mappings of the same topological spaces, a continuous function representing how, in a step-by-step fashion, the image of one mapping can be continuously deformed onto the image of the other.
References in periodicals archive ?
Our approach is based on a radically new compilation phase technique into a core type theory to modularize the difficulty of finding a decidable type checking algorithm for homotopy type theory.
In particular, we would like to know the homology and the homotopy type of intervals in P.
However, while in the Riemannian case the "chopping of compact pieces" criterion is based on curvature--obviously not feasible for Hilbert cube manifolds--in the case of Q-manifolds this is done via homotopy type.
Viewed as a CW-complex, M then has the same homotopy type of a simplicial complex which affords further considerations particularly when reducing matters to a skeletal-like, graph-theoretic analysis.
2 to compute the homotopy type of a poset [omega](A, [c.
Shellability is a key property possessed by some pure simplicial complexes which determines the homotopy type and h-vector of the complex.
P]) has the homotopy type of a wedge of [absolute value of [mu](P)] spheres of dimension l - 2.
it has the homotopy type of a CW-complex whose cells in every dimension k are counted by the k-th Betti number.
Wachs [17] showed that the d-divisible partition lattice has an EL-shelling, and hence as a corollary obtained that the homotopy type is a wedge of spheres of dimension n/d - 2.
On the Cohen-Macaulay connectivity of supersolvable lattices and the homotopy type of posets.
In particular, NC(W, c) is homotopy Cohen-Macaulay and the order complex of NC(W, c) \ {e, c} has the homotopy type of a wedge of spheres.
A longterm goal (beyond the time frame of the fellowship) is to develop a deformation theory of unstable (co-)algebras over the Steenrod algebra and their realizing homotopy types in the mod p case.