Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:field |
gptkb:mathematics
gptkb:category_theory homological algebra |
gptkbp:generalizes |
gptkb:dictionary
|
gptkbp:hasProperty |
associativity up to coherent homotopy
|
https://www.w3.org/2000/01/rdf-schema#label |
A-infinity category
|
gptkbp:introduced |
Jim Stasheff
|
gptkbp:notation |
A_∞-category
|
gptkbp:relatedTo |
gptkb:A-infinity_algebra
differential graded category |
gptkbp:structure |
composition maps
higher homotopies |
gptkbp:usedIn |
gptkb:mirror_symmetry
homotopy theory derived categories |
gptkbp:bfsParent |
gptkb:Fukaya_category
|
gptkbp:bfsLayer |
6
|