Steve Awodey

<h2 id="biography">Biography</h2>
<p>Awodey studied <a href="/facts/Mathematics/pxTouaz4">mathematics</a> and <a href="/facts/Philosophy/zAH5PVD6">philosophy</a> at the <a href="/facts/University_of_Marburg/L2BXUghC">University of Marburg</a> and the <a href="/facts/University_of_Chicago/z6zRMUmV">University of Chicago</a>. He earned his Ph.D. from Chicago under <a href="/facts/Saunders_Mac_Lane/rjgUqfkA">Saunders Mac Lane</a> in 1997. He is an active researcher in the areas of <a href="/facts/Category_theory/6zS3DXPa">category theory</a> and <a href="/facts/Logic/8JnpJLtt">logic</a>, and has also written on the <a href="/facts/Philosophy_of_mathematics/z7xBcdWA">philosophy of mathematics</a>. He is one of the originators of the field of <a href="/facts/Homotopy_type_theory/C2vTAVnJ">homotopy type theory</a>.<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a> He was a member of the School of Mathematics at the <a href="/facts/Institute_for_Advanced_Study/jQQCURKt">Institute for Advanced Study</a> in 2012–13.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a>
</p>
<h2 id="bibliography">Bibliography</h2>
<ul><li>Eric H. Reck; Steve Awodey, eds. (2004). <i>Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914</i>. Translated by Eric H. Reck; Steve Awodey. Chicago: Open Court. pp. xiv+170 p.</li>
<li>Awodey, Steve (2010) [2006]. <i>Category Theory</i> (2nd ed.). Oxford & New York: Oxford University Press. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-19-9237-18-0.</li></ul>

<h2 id="external-links">External links</h2>
<ul><li>Connelly, James (November 2005 – February 2006). <a href="https://web.archive.org/web/20100614182116/http://www.lehman.edu/deanhum/philosophy/BRSQ/05nov/connelly.htm">"Review of <i>Frege's Lectures on Logic</i>"</a>. <i>The Bertrand Russell Society Quarterly</i>. Archived from <a href="http://www.lehman.edu/deanhum/philosophy/BRSQ/05nov/connelly.htm">the original</a> on 2010-06-14. Retrieved 2014-02-10.</li>
<li>Birkedal, Lars (June 2007). "Review: STEVE AWODEY, <i>Category Theory</i>". <i>Studia Logica</i>. 86 (1): 133–135. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fs11225-007-9053-x">10.1007/s11225-007-9053-x</a>. <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/40210743">40210743</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:29254475">29254475</a>.</li>
<li><a href="https://www.youtube.com/watch?v=U_MGMhDMuPE">"Natural Models of Type Theory - Steve Awodey"</a>. <i>YouTube</i>. Institute for Advanced Study. August 12, 2016.</li>
<li><a href="https://www.youtube.com/watch?v=ogoWR-LPgl8">"Univalent Foundations Seminar - Steve Awodey"</a>. <i>YouTube</i>. Institute for Advanced Study. August 17, 2016.</li>
<li><a href="https://www.youtube.com/watch?v=4CghfgqnOGQ">"Constructive Type Theory and Homotopy - Steve Awodey"</a>. <i>YouTube</i>. Institute for Advanced Study. August 30, 2016.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Steven M. Awodey, Logic in Topoi – PhilPapers <a href="https://philpapers.org/rec/AWOLIT" target="_blank">https://philpapers.org/rec/AWOLIT</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Preliminary list of PSSL86 participants <a href="http://www.loria.fr/~lamarche/listPart.html" target="_blank">http://www.loria.fr/~lamarche/listPart.html</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>"Institute for Advanced Study: A Community of Scholars". Archived from the original on 2015-11-25. Retrieved 2015-01-10. <a href="https://web.archive.org/web/20151125095126/https://www.ias.edu/people/cos/users/awodey" target="_blank">https://web.archive.org/web/20151125095126/https://www.ias.edu/people/cos/users/awodey</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
</ol>

Steve Awodey open-in-new

Steve Awodey