hasDeformationRetractionTo
P152472
predicate
Indicates that one space can be continuously deformed (via a homotopy that fixes the target space pointwise) onto a subspace, making that subspace a deformation retract of the original.
Sample triples (1)
| Subject | Object |
|---|---|
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
O(n) ⓘ |