homotopyType
P78390
predicate
Indicates that two topological spaces or maps share the same homotopy type, meaning they can be continuously deformed into one another up to homotopy.
All labels observed (1)
| Label | Occurrences |
|---|---|
| homotopyType canonical | 2 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: homotopyType
Generated description
Indicates that two topological spaces or maps share the same homotopy type, meaning they can be continuously deformed into one another up to homotopy.
Sample triples (2)
| Subject | Object |
|---|---|
|
rotation group SO(3)
surface form:
SO(3)
|
real projective 3-space RP³ ⓘ |
| Riemann sphere | 2-sphere S^2 ⓘ |