Michael Shulman (mathematician)

Michael Shulman
Born1980 (age 44–45)
Los Angeles, California
Academic background
Alma materCalifornia Institute of Technology
University of Chicago
Doctoral advisorJ. Peter May
Academic work
DisciplineCategory theory
Homological algebra
Homotopy type theory
InstitutionsUniversity 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 -categories and cohomology In Baez, John C.; May, J. Peter, eds. (2009). Towards Higher Categories. Springer. ISBN 978-1441915238..

References

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

Read other articles:

Chuck Grassley

American politician (born 1933) Chuck GrassleyOfficial portrait, 2017President pro tempore of the United States SenateIn officeJanuary 3, 2019 – January 20, 2021Preceded byOrrin HatchSucceeded byPatrick LeahyRanking Member of the Senate Budget CommitteeIncumbentAssumed office January 3, 2023Preceded byLindsey GrahamRanking Member of the Senate Narcotics CaucusIncumbentAssumed office January 3, 2023Preceded byJohn CornynPresident pro tempore emeritus of the United States Sen...

 

Bebas Aturan Main

Bebas Aturan MainSutradaraTjut DjalilProduserRaam SorayaPemeranWarkop DKI (Dono, Kasino, Indro)Diah PermatasariGitty SrinitaLella AnggrainiPitrajaya BurnamaPerusahaanproduksiSoraya Intercine FilmsDistributorSoraya Intercine FilmsTanggal rilis10 Maret 1994Durasi81 menitNegaraIndonesiaBahasaBahasa IndonesiaPrekuelBagi-Bagi DongSekuelSaya Duluan Dong Bebas Aturan Main adalah film komedi Indonesia yang dirilis dan diproduksi pada 10 Maret 1994 dan disutradarai oleh Tjut Djalil dan dibintangi oleh...

 

العلاقات الباهاماسية الزامبية

العلاقات الباهاماسية الزامبية باهاماس زامبيا   باهاماس   زامبيا تعديل مصدري - تعديل   العلاقات الباهاماسية الزامبية هي العلاقات الثنائية التي تجمع بين باهاماس وزامبيا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه الم...

Indraprastha Institut informasi teknologi - Delhi

Artikel ini perlu dikembangkan dari artikel terkait di Wikipedia bahasa Inggris. (November 2023) klik [tampil] untuk melihat petunjuk sebelum menerjemahkan. Lihat versi terjemahan mesin dari artikel bahasa Inggris. Terjemahan mesin Google adalah titik awal yang berguna untuk terjemahan, tapi penerjemah harus merevisi kesalahan yang diperlukan dan meyakinkan bahwa hasil terjemahan tersebut akurat, bukan hanya salin-tempel teks hasil terjemahan mesin ke dalam Wikipedia bahasa Indonesia. Ja...

 

Helena Andrian

Helena AndrianHelena AndrianLahirHelena Andrian5 September 1984 (umur 39)Jakarta, IndonesiaPekerjaanPenyanyiKarier musikAsalJakartaGenrePopInstrumenVokalTahun aktif2004 - sekarangLabelHits Records Helena Andrian (lahir 5 September 1984) adalah penyanyi Indonesia berdarah Tionghoa-Indonesia. Nama Helena melejit setelah menjadi 4 besar finalis ajang Indonesian Idol Musim Pertama. Helena yang berdarah Tionghoa-Indonesia merupakan seorang penganut agama Katolik. Karier menyanyi mulai serius...

 

Pengiran Anak Puteri Hajah Rashidah Sa'adatul Bolkiah Secondary School

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: Pengiran Anak Puteri Hajah Rashidah Sa'adatul Bolkiah Secondary School – news · newspapers · books · scholar · JSTOR (March 2023) (Learn how and when to remove this template message) Public high school in Sungai Tali, Belait, BruneiPengiran Anak Puteri Hajah Ra...

Ronald Reagan

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Ronald Reagan di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemah...

 

Prison warden

Official in charge of a prison For the film, see Prison Warden (film). 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: Prison warden – news · newspapers · books · scholar · JSTOR (April 2017) (Learn how and when to remove this template message) Prison wardenThomas Mott Osborne, warden of Sing Sing with two o...

 

Rajendra Prasad Lingden

Nepalese politician HonourableRajendra Prasad LingdenMPराजेन्द्र प्रसाद लिङ्देनLingden in 2022Deputy Prime Minister of NepalIn office17 January 2023 – 25 February 2023Serving with Bishnu Prasad Paudel, Narayan Kaji Shrestha and Rabi LamichhanePresidentBidhya Devi BhandariPrime MinisterPushpa Kamal DahalMinister of Energy, Water Resources and IrrigationIn office17 January 2023 – 25 February 2023PresidentBidhya Devi Bhand...

Rhexenor

This article is about several figures in Greek mythology. For the millipede genus, see Narceus. In Greek mythology, Rhexenor (Ancient Greek: Ῥηξήνωρ means breaking armed ranks) may refer to the following figures:[1] Rhexenor, a Phaeacian prince as son of King Nausithous and the brother of Alcinous who married his daughter Arete. Apollo killed Rhexenor in his hall while he was still a bridegroom and with no son.[2] Rhexenor, the father of Chalciope, who was the second w...

 

Бисексуальность

Флаг гордости бисексуалов Бисексуальность      Сексуальные ориентации Бисексуальность Пансексуальность Полисексуальность Моносексуальность Сексуальные идентичности Би-любопытство Гетерогибкость и гомогибкость Сексуальная текучесть Исследования Шк...

 

Chen Duxiu

Questa voce o sezione sull'argomento politici cinesi non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Chen Duxiu Segretario dell'Ufficio Centrale del Partito Comunista CineseDurata mandatoluglio 1921 –luglio 1922 PredecessoreCarica istituita Presidente del Comitato Esecutivo Centrale del Partito Comunista CineseDurata mandatoluglio 19...

哈萨克斯坦总统

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言，清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日（哈薩克蘇維埃社會主義共和國總統） 哈萨克斯坦 哈萨克斯坦政府...

 

نسب الخطوط المشتقة من الخط السيناوي الأولي

هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق معلومات مخصص إليها. تاريخ الأبجديةتاريخ الأبجديةأبجدية سينائية أولية 18 c. BCE أوغاريت 15 c. BCE فينيقية 12 c. BCE عبرية قديمة 10 c. BCE سومرية 6 c. BCE آرامية 8 c. BCE كتابة غراندهاري 6 c. BCE برهمية 6 c. BCE أبجدية برهمية �...

 

Chronologie de la France sous la monarchie de Juillet

Cet article est une ébauche concernant l’histoire de France. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. La liberté guidant le peuple, par Eugène Delacroix (1830) L'article chronologie de la France sous la monarchie de Juillet (1830-1848) liste chronologiquement les événements principaux qui sont survenus en France sous la monarchie de Juillet, c'est-à-dire de 1830 à 1848. Pour un article plus gén�...

1973 Greek republic referendum

Vote abolishing the Greek monarchy 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: 1973 Greek republic referendum – news · newspapers · books · scholar · JSTOR (April 2021) (Learn how and when to remove this message) 1973 Greek republic referendum 29 July 1973 Results Choice Votes % Yes 3,843,318 78.57% No 1...

 

Frankie Trumbauer

American jazz saxophonist and bandleader (1901–1956) This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) 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: Frankie Trumbauer – news · newspapers · books · scholar...

 

Kalong

Untuk kegunaan lain, lihat Kalong (disambiguasi). KalongRentang fosil: Holosen[1] PreЄ Є O S D C P T J K Pg N ↓ Pteropus livingstonii Klasifikasi ilmiah Domain: Eukaryota Kerajaan: Animalia Filum: Chordata Kelas: Mammalia Ordo: Chiroptera Famili: Pteropodidae Subfamili: Pteropodinae Genus: PteropusBrisson, 1762 Spesies tipe Vespertilio vampyrus niger[2]Kerr, 1792 Spesies Lihat teks Peta persebaran Kalong adalah kelelawar (Chiroptera) yang tergolong dalam genus Pteropus...

Саид-Галиев, Сахиб-Гарей

Сахиб-Гарей Саид-Галиевтат. Сәхибгәрәй Сәетгалиев Председатель Совета народных комиссаров Автономной Татарской ССР 1920 год — 1921 год Предшественник Должность учреждена Преемник Кашаф Гильфанович Мухтаров Председатель Совета народных комиссаров Крымской АССР 1921 год...

 

Wendi Deng Murdoch

Ini adalah nama Tionghoa; marganya adalah Deng. Wendi MurdochLahirDeng Wenge (邓文革)5 Desember 1968 (umur 55)Jinan, TiongkokPendidikanGuangzhou Medical UniversityCalifornia State University, Northridge (BA)Yale University (MBA)Suami/istriJake Cherry ​ ​(m. 1990; bercerai 1991)​ Rupert Murdoch ​ ​(m. 1999; bercerai 2013)​Anak2[1][2] Wendi Deng Murdoch Hanzi tradisional: 鄧�...