Michael Shulman (matematik) - Michael Shulman (mathematician)
Michael Shulman | |
|---|---|
| narozený | 1980 (věk 39–40) |
| Národnost | americký |
| Alma mater | Kalifornský technologický institut University of Chicago |
| Vědecká kariéra | |
| Pole | Teorie kategorií Homologická algebra Teorie typu homotopy |
| Instituce | University of San Diego Institut pro pokročilé studium |
| Doktorský poradce | J. Peter May |
Michaele "Mike" Shulmane (/ˈʃuːlmən/; (narozen 1980) je americký matematik na University of San Diego kdo pracuje v teorie kategorií a teorie vyšších kategorií, teorie homotopy, logika aplikovaná na teorii množin, a počítačová věda.
Práce
Shulman dělal jeho vysokoškolskou práci na Kalifornský technologický institut a jeho postgraduální práce na Univerzita v Cambridge a University of Chicago, kde získal titul Ph.D. v roce 2009.
Jeho disertační práce a následná práce se zabývaly aplikacemi teorie kategorií na teorii homotopy.
V roce 2009 získal a Národní vědecká nadace Stipendium na postdoktorandský výzkum v oblasti matematických věd.[1]
V letech 2012–13 působil jako hostující vědecký pracovník na Ústavu pro pokročilé studium,[2] kde byl jedním z oficiálních účastníků Zvláštní rok o jednotných základech matematiky.[3] Shulman byl jedním z hlavních autorů knihy Teorie typu homotopy: Univalentní základy matematiky,[4] neformální expozice o základech univalentní základy a teorie homotopy.[5] V roce 2014 byl Shulman součástí týmu v čele s Steve Awodey kterému byl udělen grant ve výši 7,5 mil. USD od Výzkumná laboratoř letectva pro teorii typu homotopy.[6]
Blogy
Shulman je zastáncem používání webových softwarových systémů, jako je GitHub, podporovat spolupráci matematiků - šestistránková stránka Teorie typu homotopy kniha je pozoruhodným příkladem. Je plodným přispěvatelem do nLaboratoř[7] (a člen jejího řídícího výboru[8]) a co-hostitel blogu teorie homotopy typu[9] a n-Category Cafe, blog zaměřený na teorii vyšších kategorií.[10]
Vybrané publikace
- Michael Shulman; Syntetická diferenciální geometrie 31. května 2006
- Daniel Licata a Michael Shulman; Výpočet základní skupiny kruhu v teorii typu homotopy 15. ledna 2013
- Benedikt Ahrens, Chris Kapulkin a Michael Shulman; Univalentní kategorie a dokončení Rezk 4. března 2013
- Michael Shulman - v Cambridge Journals Speciální vydání: Od teorie typů a teorie homotopie k Univalentním základům matematiky; Univalence pro inverzní diagramy a homotopy kanonicity 23. listopadu 2013
- John C. Baez a Michael Shulman; Přednášky na n-kategorie a kohomologie v Baez, John C .; May, J. Peter, eds. (2009). Směrem k vyšším kategoriím. Springer. ISBN 1441915230.
Reference
- ^ Michael Shulman stránka na Institut pro pokročilé studium Matematická škola
- ^ „Michael Shulman“. Institute for Advanced Study: A Community of Scholars.
- ^ „Účastníci programu IAS Členové“. Škola matematiky IAS: Univalentní základy matematiky.
- ^ „Příspěvky HoTT / knihy k hlavní stránce, kromě závazků ke sloučení“. GitHub.
- ^ Shulman, Mike (20. června 2013). „Kniha HoTT“. Kavárna kategorie n.
- ^ „Tisková zpráva: Carnegie Mellon získal grant ministerstva obrany ve výši 7,5 milionu dolarů na přetvoření matematiky“. Univerzita Carnegie Mellon. 28.dubna 2014.
- ^ "Autoři nLab".
- ^ nLab: řídící výbor
- ^ Blog o teorii typu homotopy
- ^ Shulman příspěvky do n-Category Cafe blog
