Steve Awodey
{{short description|American mathematician (born 1959)}}
{{Infobox mathematician
| image = StevenAwodey.jpg
| caption = Awodey in 2011
| name = Steve Awodey
| birth_name = Steven M. Awodey
| birth_date = {{Birth date and age|1959|07|05}}
| birth_place = Michigan
| death_date =
| death_place =
| alma_mater = University of Marburg
University of Chicago
| work_institutions = Carnegie Mellon University
| thesis_title = Logic in Topoi: Functorial Semantics for Higher-Order Logic
| thesis_url = https://web.archive.org/web/20190221234344/http://pdfs.semanticscholar.org/35c2/a040f369aeafd4c796fecd1f5e2a159508ab.pdf
| thesis_year = 1997
| doctoral_advisors = Saunders Mac Lane
| academic_advisors = William Walker Tait
| doctoral_students =
| fields = Category theory, homotopy type theory
| known_for = Model theory of higher-order logic using the methods of category theory
Type theory of higher-dimensional categories{{cite journal
| last1=Awodey | first1=Steve
| last2=Warren | first2=Michael
| title=Homotopy theoretic models of identity type
| journal=Mathematical Proceedings of the Cambridge Philosophical Society
| volume=146
| issue=1
| pages=45—55
| date=2009
| arxiv=0709.0248
| doi=10.1017/S0305004108001783}}
| influences =
| influenced =
| website = {{URL|http://www.andrew.cmu.edu/user/awodey/}}
}}
Steven M. Awodey[https://philpapers.org/rec/AWOLIT Steven M. Awodey, Logic in Topoi – PhilPapers] ({{IPAc-en|ˈ|aʊ|d|i}}; born 1959) is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.
Biography
Awodey studied mathematics and philosophy at the University of Marburg and the University of Chicago. He earned his Ph.D. from Chicago under Saunders Mac Lane in 1997. He is an active researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He is one of the originators of the field of homotopy type theory.[http://www.loria.fr/~lamarche/listPart.html Preliminary list of PSSL86 participants] He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.{{Cite web |url=http://www.ias.edu/people/cos/users/awodey |title=Institute for Advanced Study: A Community of Scholars |access-date=2015-01-10 |archive-date=2015-11-25 |archive-url=https://web.archive.org/web/20151125095126/https://www.ias.edu/people/cos/users/awodey }}
Bibliography
- {{cite book|title=Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 |editor=Eric H. Reck|editor2=Steve Awodey|translator=Eric H. Reck|translator2=Steve Awodey|location=Chicago|publisher=Open Court|year=2004 |pages=xiv+170 p}}
- {{cite book|last=Awodey|first=Steve|title=Category Theory|publisher=Oxford University Press|location=Oxford & New York|year=2010|edition=2nd|orig-date=2006|isbn=978-0-19-9237-18-0}}
References
{{reflist}}
External links
- {{cite journal|url=http://www.lehman.edu/deanhum/philosophy/BRSQ/05nov/connelly.htm|title=Review of Frege's Lectures on Logic|author=Connelly, James|journal=The Bertrand Russell Society Quarterly|date=November 2005 – February 2006|access-date=2014-02-10|archive-date=2010-06-14|archive-url=https://web.archive.org/web/20100614182116/http://www.lehman.edu/deanhum/philosophy/BRSQ/05nov/connelly.htm}}
- {{cite journal|author=Birkedal, Lars|title=Review: STEVE AWODEY, Category Theory|journal=Studia Logica|volume=86|issue=1|date=June 2007|pages=133–135|doi=10.1007/s11225-007-9053-x|jstor=40210743|s2cid=29254475}}
- {{cite web|title=Natural Models of Type Theory - Steve Awodey|date=August 12, 2016|publisher=Institute for Advanced Study|website=YouTube|url=https://www.youtube.com/watch?v=U_MGMhDMuPE}}
- {{cite web|title= Univalent Foundations Seminar - Steve Awodey|date=August 17, 2016|publisher=Institute for Advanced Study|website=YouTube|url=https://www.youtube.com/watch?v=ogoWR-LPgl8}}
- {{cite web|title=Constructive Type Theory and Homotopy - Steve Awodey|date=August 30, 2016|publisher=Institute for Advanced Study|website=YouTube|url=https://www.youtube.com/watch?v=4CghfgqnOGQ}}
{{Authority control}}
{{DEFAULTSORT:Awodey, Steve}}
Category:20th-century American mathematicians
Category:21st-century American mathematicians
Category:American philosophers of mathematics
Category:University of Marburg alumni
Category:University of Chicago alumni
Category:Institute for Advanced Study visiting scholars