Homotopy type

URI: https://gptkb.org/entity/Homotopy_type
GPTKB entity
Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:definedIn gptkb:Homotopy_equivalence
gptkbp:field gptkb:Algebraic_topology
gptkbp:generalizes Homotopy class
gptkbp:hasApplication gptkb:Homotopy_type_theory
https://www.w3.org/2000/01/rdf-schema#label Homotopy type
gptkbp:relatedTo gptkb:topology
gptkb:Homotopy_group
gptkb:Homotopy_category
Homotopy theory
gptkbp:studiedIn Homotopy theory
gptkbp:usedIn gptkb:Algebraic_topology
gptkbp:bfsParent gptkb:Homotopy_group
gptkbp:bfsLayer 8