Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:describes |
homotopy classes of morphisms
|
gptkbp:field |
gptkb:topology
|
gptkbp:generalizes |
homotopy category of chain complexes
|
gptkbp:hasFunctor |
homology
cohomology homotopy groups |
https://www.w3.org/2000/01/rdf-schema#label |
Homotopy category
|
gptkbp:introduced |
gptkb:J._H._C._Whitehead
|
gptkbp:isQuotientOf |
category of topological spaces
|
gptkbp:morphismType |
homotopy class of continuous maps
|
gptkbp:notation |
gptkb:hTop
|
gptkbp:originatedIn |
topological spaces
|
gptkbp:quotientsBy |
gptkb:homotopy_equivalence
|
gptkbp:relatedTo |
gptkb:category_theory
homotopy theory derived functor |
gptkbp:type |
gptkb:topology
|
gptkbp:usedIn |
model categories
stable homotopy theory derived categories |
gptkbp:bfsParent |
gptkb:Derived_category
|
gptkbp:bfsLayer |
6
|