David Isaac Spivak
| David Isaac Spivak | |
|---|---|
| Born | |
| 🏳️ Nationality | American |
| 🎓 Alma mater | UC Berkeley (PhD) |
| 💼 Occupation | |
| Known for | Ologs |
David Isaac Spivak (born May 1, 1978) is an American mathematician and computer scientist. He has held research positions at the University of Oregon and the Massachusetts Institute of Technology. He is known for his work on applications of category theory to science and engineering, in particular to data integration, knowledge representation, and compositionality. He is also an author of two popular introductory texts on category theory and its applications, Category Theory for the Sciences and An Invitation to Applied Category Theory.
Early life and education
Spivak was born in Los Angeles, California, and grew up in Maryland. He went to college at University of Maryland, College Park and to graduate school at UC Berkeley.
Work
Database integration and knowledge representation
With collaborators, Spivak developed a novel approach to database integration. Following on work by other category theorists, he showed that the usual database operations of join, projection, and union can be captured by Kan extensions. This served as a foundation for a software company doing data migration.
He combined category theory and linguistics to form a system of knowledge representation called ologs.[1] These were used, in collaboration with Markus Buehler to describe rigorous analogies between hierarchical protein materials[2] and social networks or western music[3]. Ologs have been used by researchers at NIST.[4]
Compositionality
Spivak pioneered the idea of using operads and their algebras to formalize compositional systems, such as databases and dynamical systems. For example, he and collaborators established the link between traced monoidal categories and algebras on the operad of oriented cobordisms. Operads were also used, again in collaboration with Markus Buehler, in a python software library called Matriarch[5] for building hierarchical protein materials, such as collagen.
Selected publications
Books
- Category Theory for the Sciences, MIT Press, 2014
- An Invitation to Applied Category Theory: Seven Sketches in Compositionality, Cambridge University Press, 2019
External Links
References
- ↑ Kent, Robert E.; Spivak, David I. (2012-01-31). "Ologs: A Categorical Framework for Knowledge Representation". PLOS ONE. 7 (1): e24274. arXiv:1102.1889. Bibcode:2012PLoSO...724274S. doi:10.1371/journal.pone.0024274. ISSN 1932-6203. PMC 3269434. PMID 22303434.
- ↑ "A new molecular design approach". MIT News. Retrieved 2019-04-09.
- ↑ "The music of the silks". MIT News. Retrieved 2019-04-09.
- ↑ Padi, S.; Breiner, S.; Subrahmanian, E.; Sriram, R. D. (June 2018). "Modeling and Analysis of Indian Carnatic Music Using Category Theory". IEEE Transactions on Systems, Man, and Cybernetics: Systems. 48 (6): 967–981. doi:10.1109/TSMC.2016.2631130. ISSN 2168-2216.
- ↑ Giesa, Tristan; Jagadeesan, Ravi; Spivak, David I.; Buehler, Markus J. (2015-09-01). "Matriarch: A Python Library for Materials Architecture". ACS Biomaterials Science & Engineering. 1 (10): 1009–1015. doi:10.1021/acsbiomaterials.5b00251. PMC 4996638. PMID 27570830.
create article David I Spivak
This article "David Spivak" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:David Spivak. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
