Michael Shulman (matematiker)

Michael Shulman
Född	1980 (ålder 42–43) Los Angeles, California
Akademisk bakgrund
Alma mater	California Institute of Technology University of Chicago
Doktorand rådgivare	J. Peter May
Akademiskt arbete
Disciplin	Kategoriteori Homologisk algebra Homotopitypteori
institutioner	University of San Diego Institute for Advanced Study

Michael " Mike " Shulman ( / , ) ˈʃuːl mə n logik som / ; född 1980 är en amerikansk docent i matematik vid University of San Diego som arbetar med kategoriteori och högre kategoriteori homotopiteori , tillämpas på set. teori och datavetenskap .

Arbete

Shulman gjorde sitt grundutbildningsarbete vid California Institute of Technology och sitt doktorandarbete vid University of Cambridge och University of Chicago , där han tog sin doktorsexamen. År 2009.

Hans doktorsavhandling och efterföljande arbete handlade om tillämpningar av kategoriteori på homotopiteori.

2009 fick han ett National Science Foundation Mathematical Sciences Postdoktoral Research Fellowship.

2012–13 var han gästforskare vid Institutet för avancerade studier, där han var en av de officiella deltagarna i Special Year on Univalent Foundations of Mathematics . Shulman var en av huvudförfattarna till boken Homotopy type theory: Univalent foundations of mathematics, en informell utläggning om grunderna för univalent foundations och homotopy type theory . 2014 var Shulman en del av ett team under ledning av Steve Awodey som tilldelades ett anslag på 7,5 miljoner dollar från Air Force Research Laboratory för teori om homotopi.

Bloggar

Shulman är en anhängare av att använda webbaserade mjukvarusystem, som GitHub , för att främja samarbete mellan matematiker - den sexhundra sidor långa boken om Homotopy-teori är ett anmärkningsvärt exempel. Han är en produktiv bidragsgivare till n Lab (och medlem i dess styrkommitté), och en medvärd för bloggen om homotopitypteori och n -Category Cafe , en blogg som fokuserar på teori av högre kategori.

Utvalda publikationer

• Michael Shulman; Synthetic Differential Geometry 31 maj 2006
• Daniel Licata och Michael Shulman; Beräkning av cirkelns fundamentala grupp i homotopitypteori 15 januari 2013
• Benedikt Ahrens, Chris Kapulkin och Michael Shulman; Univalenta kategorier och slutförandet av Rezk 4 mars 2013
• Michael Shulman – I Cambridge Journals Special Issue: Från typteori och homotopiteori till Univalent Foundations of Mathematics; Univalens för inversa diagram och homotopi kanonicitet 23 november 2013
• John C. Baez och Michael Shulman; Föreläsningar om n -kategorier och kohomologi I   Baez, John C.; May, J. Peter, red. (2009). Mot högre kategorier . Springer. ISBN 978-1441915238 .

externa länkar

• Shulmans hemsida vid University of San Diego
• Michael Shulman vid Mathematics Genealogy Project
• Michael Shulman: Papper
• Shulman inlägg på Homotopy Type Theory-bloggen