Steve Awodey

Steve Awodey
Steve Awodey in 2011
Website	www.andrew.cmu.edu/user/awodey/
Main interests	Category theory, Logic, Philosophy of mathematics

Steve Awodey is a Professor of Philosophy and Mathematics at Carnegie Mellon University.

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

Bibliography

• Gottfried Gabriel, ed. of the original German text, with introduction and annotations; translated & edited by Eric H. Reck & Steve Awodey (2004). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914. Chicago: Open Court; xiv+170 p.^[2]
• Category Theory (1st ed.). Oxford & New York: Oxford University Press. 2006. ISBN 0198568614; xi+256 p.^[3]
  • 2nd edition. 2010. ISBN 978-0-19-9237-18-0; pbk; .&. ISBN 978-0-19-958736-0; hbk; xv+311 p.

References

1. Institute for Advanced Study: A Community of Scholars
2. Connelly, James (Nov 2005 – Feb 2006). "Review of Frege's Lectures on Logic". The Bertrand Russell Society Quarterly.
3. Birkedal, Lars (June 2007). "Review: STEVE AWODEY, Category Theory". Studia Logica 86 (1): 133–135.

External links

• Steve Awodey at the Mathematics Genealogy Project