Michael " Mike " Shulman ( / ˈ ʃ uː l m ə n / ; nacido en 1980) es un profesor asociado estadounidense de matemáticas en la Universidad de San Diego [1] que trabaja en teoría de categorías y teoría de categorías superiores , teoría de homotopía , lógica como aplicado a la teoría de conjuntos y a la informática .
Shulman realizó su trabajo universitario en el Instituto de Tecnología de California y su trabajo de posgrado en la Universidad de Cambridge y la Universidad de Chicago , donde recibió su doctorado. en 2009.
Su tesis doctoral y trabajos posteriores abordaron las aplicaciones de la teoría de categorías a la teoría de la homotopía.
En 2009, recibió una beca de investigación posdoctoral en ciencias matemáticas de la Fundación Nacional de Ciencias . [2]
En 2012-13, fue académico visitante en el Instituto de Estudios Avanzados, [3] donde fue uno de los participantes oficiales en el Año Especial sobre Fundamentos Univalentes de las Matemáticas . [4] Shulman fue uno de los autores principales del libro Teoría de tipos de homotopía: fundamentos univalentes de las matemáticas , [5] una exposición informal sobre los conceptos básicos de los fundamentos univalentes y la teoría de tipos de homotopía . [6] En 2014, Shulman formó parte de un equipo encabezado por Steve Awodey que recibió una subvención de 7,5 millones de dólares del Laboratorio de Investigación de la Fuerza Aérea para la teoría de tipos de homotopía. [7]
Shulman apoya el uso de sistemas de software basados en la web, como GitHub , para promover el trabajo colaborativo de los matemáticos; el libro de teoría de tipos Homotopía de seiscientas páginas es un ejemplo notable. Es un prolífico colaborador del n Lab [8] (y miembro de su comité directivo [9] ), y coanfitrión del blog de teoría de tipos de homotopía [10] y del n -Category Cafe , un blog que se centra sobre la teoría de categorías superiores. [11]