Michael Shulman (mathematician)

Michael Shulman
Born	1980 (age 43–44) Los Angeles, California

Academic background
Alma mater	California Institute of Technology University of Chicago
Doctoral advisor	J. Peter May
Academic work
Discipline	Category theory Homological algebra Homotopy type theory
Institutions	University of San Diego Institute for Advanced Study

Michael "Mike" Shulman (/ˈʃuːlmən/; born 1980) is an American associate professor of mathematics at the University of San Diego^[1] who works in category theory and higher category theory, homotopy theory, logic as applied to set theory, and computer science.

Work

Shulman did his undergraduate work at the California Institute of Technology and his postgraduate work at the University of Cambridge and the University of Chicago, where he received his Ph.D. in 2009.

His doctoral thesis and subsequent work dealt with applications of category theory to homotopy theory.

In 2009, he received a National Science Foundation Mathematical Sciences Postdoctoral Research Fellowship.^[2]

In 2012–13, he was a visiting scholar at the Institute for Advanced Study,^[3] where he was one of the official participants in the Special Year on Univalent Foundations of Mathematics.^[4] Shulman was one of the principal authors of the book Homotopy type theory: Univalent foundations of mathematics,^[5] an informal exposition on the basics of univalent foundations and homotopy type theory.^[6] In 2014, Shulman was part of a team headed by Steve Awodey that was awarded a $7.5M grant from the Air Force Research Laboratory for homotopy type theory.^[7]

Blogs

Shulman is a supporter of using web-based software systems, such as GitHub, to promote collaborative work by mathematicians—the six-hundred-page Homotopy type theory book being a notable example. He is a prolific contributor to the nLab^[8] (and a member of its steering committee^[9]), and a co-host of the homotopy type theory blog^[10] and of the n-Category Cafe, a blog focusing on higher category theory.^[11]

Selected publications

Michael Shulman; Synthetic Differential Geometry. May 31, 2006.
Daniel Licata and Michael Shulman; Calculating the fundamental group of the circle in homotopy type theory. January 15, 2013.
Benedikt Ahrens, Chris Kapulkin, and Michael Shulman; Univalent categories and the Rezk completion. March 4, 2013.
Michael Shulman – In Cambridge Journals Special Issue: From type theory and homotopy theory to Univalent Foundations of Mathematics; Univalence for inverse diagrams and homotopy canonicity. November 23, 2013.
John C. Baez and Michael Shulman; Lectures on $n$ -categories and cohomology In Baez, John C.; May, J. Peter, eds. (2009). Towards Higher Categories. Springer. ISBN 978-1441915238..

References

^ "Michael Shulman, PhD". University of San Diego. Retrieved March 24, 2021.
^ Michael Shulman page at the Institute for Advanced Study School of Mathematics
^ "Michael Shulman". Institute for Advanced Study: A Community of Scholars.
^ "IAS Program Participants Members". IAS school of mathematics: Univalent Foundations of Mathematics. 13 July 2012.
^ "HoTT/book Contributions to master, excluding merge commits". GitHub.
^ Shulman, Mike (20 June 2013). "The HoTT Book". The n-Category Café.
^ "Press Release: Carnegie Mellon Awarded $7.5 Million Department of Defense Grant To Reshape Mathematics". Carnegie Mellon University. 28 April 2014.
^ "nLab Authors".
^ nLab: steering committee
^ Homotopy type theory blog
^ Shulman postings to n-Category Cafe blog

External links

Shulman's home page at University of San Diego
Michael Shulman at the Mathematics Genealogy Project
Michael Shulman: Papers
Shulman postings to Homotopy Type Theory blog

Read other articles:

Chevrolet Malibu

Chevrolet MalibuInformasiProdusenGeneral MotorsModel untuk tahun1964–19831997–sekarangBodi & rangkaKelasMedium Chevrolet Malibu (dinamai dari daerah Malibu, California) adalah mobil ukuran medium yang diproduksi oleh General Motors dengan merek Chevrolet. Pada awalnya Malibu merupakan salah satu trim Chevrolet Chevelle, tetapi kemudian mobil ini mendapat namanya sendiri mulai tahun 1978. Pada awalnya, mobil ini berpenggerak roda belakang, tetapi setelah kelahirannya kembali pada ...

Portal (permainan video)

Portal BerdasarkanNarbacular Drop (en) Publikasi 9 Oktober 2007 Windows, Xbox 360 (retail) Windows (download)[1] PlayStation 3 Windows (stand-alone retail)[2] Xbox Live Arcade OS X[3] Linux[3] NVIDIA Shield[4][5] GenrePuzzle-platform gameKarakterChell (en) dan GLaDOS (en) Latar tempatHalf-Life / Portal universe (en) Bahasa Daftar Inggris 60 Karakteristik teknisSistem operasiAndroid PlatformWindows, macOS, PlayStation 3, Xbox 360, Linux dan Andro...

North American T-6 Texan

American single-engined advanced trainer aircraft This article is about the World War II-era trainer. For the modern turboprop trainer, see Beechcraft T-6 Texan II. T-6 Texan/SNJ/Harvard USAAF AT-6Cs near Luke Field, 1943 Role Trainer aircraftType of aircraft National origin United States Manufacturer North American Aviation First flight 1 April 1935 Retired 1995 (South African Air Force) Primary users United States Army Air ForcesUnited States NavyRoyal Air ForceRoyal Canadian Air Force...

Piero De Stefanis

Questa voce sull'argomento calciatori italiani è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Piero De Stefanis Nazionalità Italia Calcio Ruolo Attaccante Termine carriera 1942 Carriera Squadre di club1 1932-1935 Pavia48 (18)1935-1936 Alessandria3 (1)1936-1937 Vigevano? (?)1937-1940 Reggiana78 (38)1940-1942 Saviglianese? (?) 1 I due numeri indicano le presenze e le reti...

Sivagyana Munivar

Indian sage Sivagyana Munivar (c. 18th century) was a saivite sage and scholar from Tirunelveli, Tamil Nadu. He was well versed in both Tamil and Sanskrit. Biography Sivagyana Murnivar was born Mukkalaalingar. He translated several Sanskrit works into Tamil. He was also known as Sri Madhava Sivagyana Munivar.[citation needed] Works Sivagyana Munivar authored several texts and translated many. His magnum opus work remains the Sivagnana Mapadiam, an elaborate and critical interpretation...

Lords Spiritual

Bishops who sit in the House of Lords Justin Welby (Archbishop of Canterbury) and Rachel Treweek (Bishop of Gloucester) in the House of Lords in 2021 This article is part of a series onPolitics of the United Kingdom Constitution Magna Carta Bill of Rights Treaty of Union (Acts of Union) Parliamentary sovereignty Rule of law Separation of powers Other constitutional principles The Crown The Monarch (list) Charles III Heir apparent William, Prince of Wales Royal family Succession Prerogative Co...

ClearOS

Linux distribution For the Intel Linux distribution, see Clear Linux OS. ClearOSDeveloperClearCenterOS familyLinux (Unix-like)Working stateCurrentSource modelOpen source[1]Initial release2001; 23 years ago (2001)[2]Latest release7.8[3] / 23 June 2020; 3 years ago (23 June 2020)Kernel typeMonolithic kernel (Linux)Defaultuser interfaceWeb user interfaceLicenseGPL, and othersOfficial websiteclearos.com ClearOS (also known as the ClearOS Syst...

新罕布什尔州

坐标：43°11′38″N 71°34′21″W / 43.1938516°N 71.5723953°W / 43.1938516; -71.5723953 此條目需要补充更多来源。 (2017年5月21日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：新罕布什尔州 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源...

The Onion

Halaman ini berisi artikel tentang surat kabar A.S.. Untuk gedung yang kadang dijuluki The Onion, lihat City Hall, London. Untuk kegunaan lain, lihat Onion (disambiguasi). The OnionTipeSurat kabar satireFormatSitus webPemilikG/O Media Inc.PendiriTim KeckChristopher JohnsonRedaksiChad NackersDidirikan29 Agustus 1988; 35 tahun lalu (1988-08-29)Madison, Wisconsin, A.S.[1]Berhenti publikasi2013 (cetak)PusatChicago, Illinois, A.S.Situs webwww.theonion.com Onion, Inc.JenisAnak perusaha...

乌克兰总理

烏克蘭總理Прем'єр-міністр України烏克蘭國徽現任杰尼斯·什米加尔自2020年3月4日任命者烏克蘭總統任期總統任命首任維托爾德·福金设立1991年11月后继职位無网站www.kmu.gov.ua/control/en/（英文）乌克兰乌克兰政府与政治系列条目宪法政府总统弗拉基米尔·泽连斯基總統辦公室国家安全与国防事务委员会总统代表（英语：Representatives of the President of Ukraine）总...

Mission Hills, Kansas

City in Kansas, United StatesMission Hills, KansasCityCity Sign at corner of 56th Street and State Line RoadLocation within Johnson County and KansasKDOT map of Johnson County (legend)Coordinates: 39°00′30″N 94°37′39″W / 39.00833°N 94.62750°W / 39.00833; -94.62750[1]CountryUnited StatesStateKansasCountyJohnsonIncorporated1949Area[2] • Total2.04 sq mi (5.28 km2) • Land2.04 sq mi (5.28 km2...

Radha Soami

Religious faith related to Sikhism and Hinduism Radha SoamiShiv Dayal Singh, a.k.a. Soami Ji MaharajTotal populationc. 3,000,000[1]FounderShiv Dayal Singh (1861)[2][3]Regions with significant populationsAgra, Uttar Pradesh, India[3]Beas, Punjab, India[2]ReligionsSant MatScripturesSar Bachan[4]LanguagesHindi • Punjabi • English Radha Soami is a spiritual tradition or faith founded by Shiv Dayal Singh in 1861 on Basan...

Mount Augusta

For the hill in the Antarctic, see Mount Augusta (Antarctica). For the mountain in Nevada, see Mount Augusta (Nevada). Mount AugustaMt. Augusta (left), from the southHighest pointElevation4289 m (14,070 ft)[1]NAVD88Prominence1549 m (5082 ft)[1]Isolation23.2 km (14.41 mi)[1]ListingNorth America highest peaks 55thNorth America prominent peaksCanada highest major peaks 14thUS highest major peaks 41stCoordinates60°18′19″N 140°27′37″W / 60.305...

Mitsunari Musaka

Japanese footballer Mitsunari Musaka 六平光成 Personal informationFull name Mitsunari MusakaDate of birth (1991-01-16) 16 January 1991 (age 33)Place of birth Tokyo, JapanHeight 1.75 m (5 ft 9 in)Position(s) MidfielderTeam informationCurrent team Giravanz KitakyushuNumber 8Youth career2003–2005 FC Tokyo Youth2006–2008 Maebashi ScholarshipHigh School2009–2012 Chuo UniversitySenior career*Years Team Apps (Gls)2013– Shimizu S-Pulse 153 (1)International career2009 ...

Tito Livio

Disambiguazione – Livio rimanda qui. Se stai cercando altri significati, vedi Livio (disambigua). (LA) «Neque indignetur sibi Herodotus aequari Titum Livium» (IT) «Che Erodoto non s'indigni che gli venga eguagliato Tito Livio» (Quintiliano, Institutio oratoria, X, 1, 101) Busto di Tito Livio, opera di Lorenzo Larese Moretti (1858-1867) Tito Livio (in latino Titus Livius[1]; Patavium, 59 a.C. – Patavium, 17 d.C.) è stato uno storico romano, autore degli Ab Ur...

Fairfield, Texas

For the community in Harris County, Texas (Houston area), see Fairfield, Harris County, Texas. City in Texas, United StatesFairfield, TexasCityDowntown FairfieldLocation of Fairfield, TexasCoordinates: 31°43′19″N 96°9′29″W / 31.72194°N 96.15806°W / 31.72194; -96.15806CountryUnited StatesStateTexasCountyFreestoneArea[1] • Total5.46 sq mi (14.15 km2) • Land5.46 sq mi (14.14 km2) • Water...

Dvarapala

Door guardian statue Sondani, two Dvarapalas, circa 525 CE. One of two pairs of dvarapala, 9th century Buddhist temple of Plaosan, Java, Indonesia. A Dvarapala or Dvarapalaka (Sanskrit, door guard; IAST: Dvārapāla Sanskrit pronunciation: [dʋaːɽɐpaːlɐ]) is a door or gate guardian often portrayed as a warrior or fearsome giant, usually armed with a weapon - the most common being the gada (mace). The dvarapala statue is a widespread architectural element throughout Hindu, Buddhis...

Brian Maisonneuve

Brian MaisonneuveNazionalità Stati Uniti Altezza180 cm Peso77 kg Calcio RuoloAllenatore (ex centrocampista) Termine carriera2004 CarrieraGiovanili 1999 Indiana Hoosiers Squadre di club1 1996-2004 Columbus Crew189 (23) Nazionale 1996 Stati Uniti Olimpica? (?)1997-2002 Stati Uniti13 (0) Carriera da allenatore 2005-2008 Stati Uniti U-17Vice2008-2010 University of LouisvilleVice2010-2017 Indiana UniversityVice2018- Ohio State University Palmarès Gold Cup ArgentoUSA 1998...

Manhunt International

Male Model Search, international male pageant competition This article may require copy editing for cohesion and style. You can assist by editing it. (January 2024) (Learn how and when to remove this message) Manhunt InternationalFormation1993TypeMale Model SearchLegal statusActiveHeadquartersSydneyLocationAustraliaOfficial language EnglishPresidentRosko DickinsonBudget $3MWebsitemanhunt.international Manhunt International is a major international male model search for the next Male Supermode...

Burgundian language (Oïl)

Oïl language of Burgundy, France Not to be confused with Burgundian language (Germanic) or Arpitan. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Burgundian language Oïl – news · newspapers · books · scholar · JSTOR (August 2020) (Learn how and when to remove this message) BurgundianbregognonNative&...