Steve Awodey

Steven M. Awodey[1] (/ˈdi/; born 1959) is an American mathematician and philosopher of mathematics. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.

Steve Awodey
Steve Awodey in 2011
Steven M. Awodey

1959 (age 5960)
Alma materUniversity of Marburg
University of Chicago
Scientific career
ThesisLogic in Topoi: Functorial Semantics for Higher-Order Logic (1997)
Doctoral advisorsSaunders Mac Lane
Other academic advisorsWilliam Walker Tait


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.[2] He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.[3]


  • Gottfried Gabriel, ed. of the original German text, with introduction and annotations (2004). Eric H. Reck; Steve Awodey (eds.). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914. Translated by Eric H. Reck; Steve Awodey. Chicago: Open Court; xiv+170 p.CS1 maint: uses authors parameter (link)
  • Awodey, Steve (2010) [2006]. Category Theory (2nd ed.). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.