David Spivak
Topic: Biography
From HandWiki - Reading time: 5 min
David Isaac Spivak | |
|---|---|
 Spivak in December 2018 | |
| Born | May 1, 1978 |
| Nationality | American |
| Alma mater |
|
| Known for | Ologs |
| Scientific career | |
| Fields | Mathematics Category theory |
David Isaac Spivak[1] (born May 1, 1978) is an American mathematician. 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 agent interactions involving communication, learning and planning. He is the author of two 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 near Baltimore, Maryland. He went to college at University of Maryland, College Park and to graduate school at UC Berkeley.[1] His dissertation, written under the supervision of Peter Teichner and Jacob Lurie, was on derived manifolds,[2] generalizations of manifolds whose intersection theory is better behaved. Spivak did postdocs at the University of Oregon and MIT. He is the great-great-great-grandson of Charles David Spivak, a cousin of entomologist Marla Spivak, but is unrelated to mathematician Michael Spivak.
Spivak's contributions
Spivak's first approach to his main research agenda consisted in developing a novel approach to the integration of data from different sources (databases). He showed that viewing database schemas as categories facilitated the definition of schema integration and data migration.[3] Further work along these lines involved the use of concepts of algebraic topology (leading to the concept of simplicial databases, which have an underlying simplicial set structure[4]) and more advanced categorical tools (e.g. monads and Kleisli categories, allowing the addition of extra information in database cells[5]). These techniques are being implemented by a start-up company, CONEXUS.ai.[non-primary source needed]
Spivak's quest for methods to improve the communication among different entities has extended to the interaction among different scientific fields, leading to the development of a human-readable categorical system of knowledge representation called ologs.[6] These were applied, in a series of collaborations with the materials scientist Markus Buehler, to different problems in that field[7][8][9] Ologs have been also used by researchers at NIST[10] and by engineers at the European Spallation Source.[11]
The goal of ologs, and of Spivak's book was to show that category theory can be made relatively easy and thus be understood by a wider audience; indeed Piet Hut endorsed the book saying, "This is the first, and so far the only, book to make category theory accessible to non-mathematicians."[12]
Spivak's interest in interacting systems led to the study of interconnected systems, focusing on the ways in which different dynamical systems can be composed. The concept of operads and their algebras provides a better understanding of the behavior of such system, in particular the property of compositionality, i.e. the characterization of the behavior of systems in terms of that of its parts and their interactions.[13] Similarly, Spivak studied the ways in which systems adapt internally in response to their interaction with others.[14] Operads were used to develop a Python library for materials architecture.[15] An original application has been to the search of solutions to systems of equations by considering their pixel array representations.[16] Spivak and coworkers have proven the claim that the well-known backpropagation algorithm used in deep learning networks constitutes a monoidal functor between the category of neural networks and the category of learning algorithms.[17]
Another important area in which Spivak has been active is the study of the behavior of systems in time. An important collaboration with Patrick Schultz led to the development of a topos-theoretical approach to behavior, being one of its main components a temporal type theory.[18]
David Spivak has worked with his postdoctoral student Brendan Fong on hypergraph categories, a useful tool for representing compositionality in different applied contexts, allowing a visually attractive representation as wiring diagrams.[19] Also with Fong, Spivak has written a book that summarizes for the first time the developments in applied category theory for a wide audience, and started a nonprofit applied category theory research institute called Topos Institute, located in Berkeley, California.[20]
Spivak is an editor of a diamond open access journal, Compositionality.[21]
Bibliography
- Spivak. Category Theory for the Sciences, MIT Press, 2014
- Schultz & Spivak. Temporal Type Theory: a Topos-Theoretic Approach to Systems and Behavior, Springer-Verlag, 2019, doi:10.1007/978-3-030-00704-1
- Fong & Spivak. An Invitation to Applied Category Theory: Seven Sketches in Compositionality, Cambridge University Press, 2019, doi:10.1017/9781108668804
References
- ↑ 1.0 1.1 "David Spivak - the Mathematics Genealogy Project". https://www.genealogy.math.ndsu.nodak.edu/id.php?id=108219.
- ↑ Spivak, David I. (2008). "Derived Smooth Manifolds". Duke Mathematical Journal 153: 55–128. doi:10.1215/00127094-2010-021. Bibcode: 2008PhDT.......449S.
- ↑ Spivak, David I. (August 2012). "Functorial data migration". Information and Computation 217: 31–51. doi:10.1016/j.ic.2012.05.001.
- ↑ Spivak, David I. (2009). "Simplicial Databases". arXiv:0904.2012 [cs.DB].
- ↑ Spivak, David I. (2012). "Kleisli Database Instances". arXiv:1209.1011 [cs.DB].
- ↑ Spivak, David I.; Kent, Robert E.; Mavergames, Chris (31 January 2012). "Ologs: A Categorical Framework for Knowledge Representation". PLOS ONE 7 (1): e24274. doi:10.1371/journal.pone.0024274. PMID 22303434. Bibcode: 2012PLoSO...724274S.
- ↑ "A new molecular design approach". https://news.mit.edu/2015/new-molecular-design-approach-0911.
- ↑ "Researchers link patterns seen in spider silk, melodies". https://news.mit.edu/2011/silk-music-proteins-1208.
- ↑ "The music of the silks". https://news.mit.edu/2012/the-music-of-the-silks-1128.
- ↑ Padi, Sarala; Breiner, Spencer; Subrahmanian, Eswaran; Sriram, Ram 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.
- ↑ Spivak, David I. (2014). Category Theory for the Sciences. ISBN 978-0-262-02813-4.[page needed]
- ↑ Spivak, David I. (2014). Category Theory for the Sciences. ISBN 978-0-262-02813-4.
- ↑ Vagner, Dmitry; Spivak, David I.; Lerman, Eugene (2014). Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams. Bibcode: 2014arXiv1408.1598V.
- ↑ Spivak, David I.; Tan, Joshua (4 September 2016). "Nesting of dynamical systems and mode-dependent networks". Journal of Complex Networks: cnw022. doi:10.1093/comnet/cnw022.
- ↑ Giesa, Tristan; Jagadeesan, Ravi; Spivak, David I.; Buehler, Markus J. (September 2015). "Matriarch: A Python Library for Materials Architecture". ACS Biomaterials Science & Engineering 1 (10): 1009–1015. doi:10.1021/acsbiomaterials.5b00251. PMID 27570830.
- ↑ Spivak, David I.; Ernadote, Dominique; Hammammi, Omar (2016). "Pixel matrices: An elementary technique for solving nonlinear systems". 2016 IEEE International Symposium on Systems Engineering (ISSE). pp. 1–5. doi:10.1109/SysEng.2016.7753120. ISBN 978-1-5090-0793-6.
- ↑ Fong, Brendan; Spivak, David I.; Tuyéras, Rémy (2017). Backprop as Functor: A compositional perspective on supervised learning. Bibcode: 2017arXiv171110455F.
- ↑ Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. Progress in Computer Science and Applied Logic. 29. Birkhäuser Basel. 2019. doi:10.1007/978-3-030-00704-1. ISBN 9783030007034. https://www.springer.com/la/book/9783030007034.
- ↑ Fong, Brendan; Spivak, David I. (February 2019). "Hypergraph categories". Journal of Pure and Applied Algebra 223 (11): 4746–4777. doi:10.1016/j.jpaa.2019.02.014.
- ↑ Spivak, David I.; Fong, Brendan (2019). An Invitation to Applied Category Theory by Brendan Fong. ISBN 978-1-108-66880-4.[page needed]
- ↑ Editorial Board, Compositionality. Accessed August 16, 2019
External links
 |
EncycloReader
is supported by the 
KSF