スティーブ・アウォディ

スティーブ・アウォディ
2011年のアウォディ
生まれる	スティーブン・M・アウォディ ( 1959-07-05 )1959年7月5日（65歳） ミシガン州
母校	マールバーグ大学 シカゴ大学
知られている	圏論の方法を用いた高階論理のモデル理論[1]高次元圏の型理論[2]
科学者としてのキャリア
フィールド	圏論、ホモトピー型理論
機関	カーネギーメロン大学
論文	トポイの論理: 高階論理のための関数的意味論 (1997)
博士課程の指導教員	サンダース・マックレーン
その他の学術アドバイザー	ウィリアム・ウォーカー・テイト
Webサイト	www.andrew.cmu.edu/user/awodey/

スティーブン・M・アウォディ^[1]（/ ˈ aʊ d i / ; 1959年生まれ）は、アメリカの数学者、論理学者である。カーネギーメロン大学の哲学と数学の教授である。

アウォディはマールブルク大学とシカゴ大学で数学と哲学を学び、 1997年にシカゴ大学でサンダース・マクレーン教授のもとで博士号を取得した。圏論と論理学の分野で活発な研究者であり、数学の哲学についても執筆している。ホモトピー型理論の創始者の一人である。^{[3] 2012年から2013年にかけて}、高等研究所の数学スクールに所属していた。^[4]

• エリック・H・レック、スティーブ・アウォディ編 (2004)。フレーゲの論理学講義: カルナップの学生ノート、1910-1914年。エリック・H・レック、スティーブ・アウォディ訳。シカゴ: オープンコート。pp. xiv+170 p.
• アウォディ、スティーブ（2010）[2006]。カテゴリー理論（第2版）。オックスフォード＆ニューヨーク：オックスフォード大学出版局。ISBN 978-0-19-9237-18-0。

• コネリー、ジェームズ (2005 年 11 月 – 2006 年 2 月)。「フレーゲの論理学講義のレビュー」。バートランド・ラッセル協会季刊誌。2010 年 6 月 14 日時点のオリジナルよりアーカイブ。2014年 2 月 10 日閲覧。
•  Birkedal , Lars (2007 年 6 月)。「レビュー: STEVE AWODEY、カテゴリー理論」。Studia Logica。86 ( 1 ): 133–135。doi :10.1007/s11225-007-9053- x。JSTOR 40210743。S2CID 29254475  。
• 「型理論の自然モデル - Steve Awodey」。YouTube。高等研究所。2016 年 8 月 12 日。
• 「ユニバレント基礎セミナー - スティーブ・アウォディ」。YouTube 。高等研究所。2016 年 8 月 17 日。
• 「構成型理論とホモトピー - Steve Awodey」。YouTube 。高等研究所。2016 年 8 月 30 日。