Hispanopedia WikiDavid Isaac Spivak es un matemático estadounidense y científico senior del Instituto Topos. [1] Ha trabajado en aplicaciones de la teoría de categorías , en particular en ología y composicionalidad operística de sistemas dinámicos . Fue autor y coautor de los textos introductorios sobre la teoría de categorías y sus aplicaciones, Category Theory for the Sciences y An Invitation to Applied Category Theory .
Vida temprana y educación
Spivak recibió su doctorado en matemáticas de la UC Berkeley en 2007 bajo la supervisión de Peter Teichner y Jacob Lurie . [2] Su tesis fue sobre variedades derivadas, [3] Spivak trabajó como postdoctorado en la Universidad de Oregon y el Instituto Tecnológico de Massachusetts . [4]
Trabajar
Spivak y Robert Kent desarrollaron un sistema categórico de representación del conocimiento legible por humanos llamado ologs . [5] Estos se aplicaron, en una serie de colaboraciones con el científico de materiales Markus Buehler , a diferentes problemas en esa ciencia de materiales. [6] [7] [8] Los ologs también han sido utilizados por investigadores del NIST . [9] El objetivo de los ologs, y del libro de Spivak, era mostrar que la teoría de categorías puede hacerse relativamente fácil y, por lo tanto, ser entendida por una audiencia más amplia. Piet Hut respaldó el libro diciendo: "Este es el primer libro, y hasta ahora el único, que hace que la teoría de categorías sea accesible a los no matemáticos". [10]
Spivak también ha estudiado sistemas dinámicos y operadas . [11] [12] [13]
Spivak y Brendan Fong escribieron un libro que resume los avances en la teoría de categorías aplicadas para un público amplio y comenzaron un instituto de investigación de teoría de categorías aplicadas sin fines de lucro llamado Topos Institute, ubicado en Berkeley, California. [14]
Spivak es editor de una revista de acceso abierto , Compositionality . [15]
Bibliografía
- Spivak. Teoría de categorías para las ciencias, MIT Press, 2014
- Schultz y Spivak. Teoría de tipos temporales: un enfoque topoteórico de los sistemas y el comportamiento , Springer-Verlag, 2019, doi :10.1007/978-3-030-00704-1
- Fong y Spivak. Una invitación a la teoría de categorías aplicada: siete bocetos sobre composicionalidad , Cambridge University Press, 2019, doi :10.1017/9781108668804
Referencias
- ^ "Equipo". Instituto Topos . Consultado el 30 de marzo de 2023 .
- ^ David Spivak en el Proyecto de Genealogía Matemática
- ^ Spivak, David I. (2008). "Variedades suaves derivadas". Duke Mathematical Journal . 153 : 55– 128. arXiv : 0810.5174 . Bibcode :2008PhDT......449S. CiteSeerX 10.1.1.244.3704 . doi :10.1215/00127094-2010-021. S2CID 18483726.
- ^ "David I. Spivak" (PDF) . David Spivak . Consultado el 10 de julio de 2023 .
- ^ Spivak, David I.; Kent, Robert E. (31 de enero de 2012). "Ologs: un marco categórico para la representación del conocimiento". PLOS ONE . 7 (1): e24274. arXiv : 1102.1889 . Bibcode :2012PLoSO...724274S. doi : 10.1371/journal.pone.0024274 . PMC 3269434 . PMID 22303434.
- ^ Brehm, Denise (8 de diciembre de 2011). "Los investigadores relacionan los patrones observados en la seda de araña con las melodías". news.mit.edu .
- ^ Chandler, David L. (28 de noviembre de 2012). "La música de las sedas". news.mit.edu .
- ^ Damrad, Kelsey (11 de septiembre de 2015). "Un nuevo enfoque de diseño molecular". news.mit.edu .
- ^ Padi, Sarala; Breiner, Spencer; Subrahmanian, Eswaran; Sriram, Ram D. (junio de 2018). "Modelado y análisis de la música carnática india mediante la teoría de categorías". IEEE Transactions on Systems, Man, and Cybernetics: Systems . 48 (6): 967– 981. doi :10.1109/TSMC.2016.2631130. S2CID 21722758.
- ^ Spivak, David I. (2014). Teoría de categorías para las ciencias . MIT Press. ISBN 978-0-262-02813-4.[ página necesaria ]
- ^ Spivak, David I.; Tan, Joshua (4 de septiembre de 2016). "Anidación de sistemas dinámicos y redes dependientes del modo". Journal of Complex Networks : cnw022. doi :10.1093/comnet/cnw022.
- ^ Giesa, Tristan; Jagadeesan, Ravi; Spivak, David I.; Buehler, Markus J. (septiembre de 2015). "Matriarch: una biblioteca Python para la arquitectura de materiales". ACS Biomaterials Science & Engineering . 1 (10): 1009– 1015. doi :10.1021/acsbiomaterials.5b00251. PMC 4996638 . PMID 27570830.
- ^ Spivak, David I.; Ernadote, Dominique; Hammammi, Omar (2016). "Matrices de píxeles: una técnica elemental para resolver sistemas no lineales". Simposio internacional IEEE sobre ingeniería de sistemas (ISSE) de 2016. págs. 1– 5. arXiv : 1605.00190 . doi :10.1109/SysEng.2016.7753120. ISBN 978-1-5090-0793-6.S2CID1156200 .
- ^ Fong, Brendan; Spivak, David I. (2019). Una invitación a la teoría de categorías aplicada: siete bocetos sobre composicionalidad . Cambridge University Press. doi :10.1017/9781108668804. ISBN 978-1-108-66880-4.S2CID 199139551 .[ página necesaria ]
- ^ Consejo Editorial, Compositionality . Consultado el 16 de agosto de 2019.
Enlaces externos
- Antigua página de inicio de Spivak en el MIT