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
|
| 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 |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
A-infinity category
|