Loading article…
マイケル・“マイク”・シュルマン（/ ˈʃuːlmən /、 1980年生まれ）は、サンディエゴ大学の数学教授で、圏論と高次圏論、ホモトピー理論、集合論に適用される論理学、コンピュータ科学を専門としている[ 1 ]。
シュルマンはカリフォルニア工科大学で学部課程を修了し、ケンブリッジ大学とシカゴ大学で大学院課程を修了、2009年にシカゴ大学で博士号を取得した。
彼の博士論文とその後の研究は、圏論のホモトピー理論への応用を扱ったものであった。
2009年、彼は全米科学財団の数理科学分野の博士研究員フェローシップを受賞した。[ 2 ]
2012年から2013年にかけて、彼は高等研究所の客員研究員を務め、[ 3 ]数学の単価基礎に関する特別年の公式参加者の1人でした。[ 4 ]シュルマンは、単価基礎とホモトピー型理論の基礎に関する非公式な解説書である『ホモトピー型理論：数学の単価基礎』の主要著者の1人でした。[ 5 ] [ 6 ] 2014年、シュルマンはスティーブ・アウォディが率いるチームの一員として、ホモトピー型理論のために空軍研究所から750万ドルの助成金を受けました。[ 7 ]
シュルマンは社会保守主義者であり、性別は社会的に構築されるという考えや単数形のtheyの使用に反対している。[ 8 ] 2022年4月、ホモトピー型理論電子セミナー講演会の主催者は、シュルマンの発言が数学コミュニティにおける多様性への組織の取り組みと矛盾するとして、シュルマンによる著名な講演シリーズを中止した。[ 9 ]
シュルマンは、数学者による共同作業を促進するために、 GitHubなどのウェブベースのソフトウェア システムを使用することを支持しており、600 ページに及ぶホモトピー型理論の本はその顕著な例である。彼はn Lab [ 10 ]に多作に貢献しており(運営委員会のメンバーでもある[ 11 ] )、ホモトピー型理論ブログ[ 12 ]と、高次圏論に焦点を当てたブログn -Category Cafe [ 13 ]の共同ホストであり、Narya 証明支援システムに関するブログ[ 14 ]も運営している。
