Steve Awodey

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Steve Awodey
Steve Awodey in 2011
Born 1959 (age 57–58)
Alma mater University of Chicago
Thesis Logic in Topoi: Functorial Semantics for Higher-Order Logic (1997)
Doctoral advisors Saunders Mac Lane
William Walker Tait
Doctoral students Spencer Breiner, Jonas Eliasson, Henrik Forssell, Jesse Hughes, Matthew Jackson, Kohei Kishida, Peter Lumsdaine, Michael Warren

Steve Awodey (/ˈæwdi/; born 1959) is a Professor of Philosophy and Mathematics at Carnegie Mellon University.


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


  • 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. 
  • Awodey, Steve (2010) [2006]. Category Theory (2st ed.). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0. 


External links[edit]