Statements (8)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:affiliation |
gptkb:Massachusetts_Institute_of_Technology
|
| gptkbp:contribution |
Graphical languages for category theory
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
David Spivak
|
| gptkbp:knownFor |
Category theory
|
| gptkbp:publications |
'Category Theory for the Sciences'
|
| gptkbp:researchFocus |
Applied category theory
|