Steven M. Awodey[1] (/ˈaʊdi/; born 1959) is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.
Steve Awodey | |
---|---|
![]() Awodey in 2011 | |
Born | Steven M. Awodey July 5, 1959 |
Alma mater | University of Marburg University of Chicago |
Known for | Model theory of higher-order logic using the methods of category theory[1] Type theory of higher-dimensional categories[2] |
Scientific career | |
Fields | Category theory, homotopy type theory |
Institutions | Carnegie Mellon University |
Thesis | Logic in Topoi: Functorial Semantics for Higher-Order Logic (1997) |
Doctoral advisors | Saunders Mac Lane |
Other academic advisors | William Walker Tait |
Website | www |
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.[3] He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.[4]
Bibliography
- Eric H. Reck; Steve Awodey, eds. (2004). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914. Translated by Eric H. Reck; Steve Awodey. Chicago: Open Court. pp. xiv+170 p.
- Awodey, Steve (2010) [2006]. Category Theory (2nd ed.). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0.
References
External links
- Connelly, James (November 2005 – February 2006). "Review of Frege's Lectures on Logic". The Bertrand Russell Society Quarterly. Archived from the original on 2010-06-14. Retrieved 2014-02-10.
- Birkedal, Lars (June 2007). "Review: STEVE AWODEY, Category Theory". Studia Logica. 86 (1): 133–135. doi:10.1007/s11225-007-9053-x. JSTOR 40210743. S2CID 29254475.
- "Natural Models of Type Theory - Steve Awodey". YouTube. Institute for Advanced Study. August 12, 2016.
- "Univalent Foundations Seminar - Steve Awodey". YouTube. Institute for Advanced Study. August 17, 2016.
- "Constructive Type Theory and Homotopy - Steve Awodey". YouTube. Institute for Advanced Study. August 30, 2016.
🔥 Top keywords: Main PageSpecial:SearchPage 3Wikipedia:Featured picturesHouse of the DragonUEFA Euro 2024Bryson DeChambeauJuneteenthInside Out 2Eid al-AdhaCleopatraDeaths in 2024Merrily We Roll Along (musical)Jonathan GroffJude Bellingham.xxx77th Tony AwardsBridgertonGary PlauchéKylian MbappéDaniel RadcliffeUEFA European Championship2024 ICC Men's T20 World CupUnit 731The Boys (TV series)Rory McIlroyN'Golo KantéUEFA Euro 2020YouTubeRomelu LukakuOpinion polling for the 2024 United Kingdom general electionThe Boys season 4Romania national football teamNicola CoughlanStereophonic (play)Gene WilderErin DarkeAntoine GriezmannProject 2025