Steve Awodey

Steve Awodey
Información personal
Nacimiento	1959 ; Míchigan (Estados Unidos)
Nacionalidad	Estadounidense
Educación
Educado en	Universidad de Chicago; Universidad de Marburgo ;
Supervisor doctoral	Saunders Mac Lane y William W. Tait
Información profesional
Ocupación	Matemático, filósofo y profesor universitario
Empleador	Universidad Carnegie Mellon
	[editar datos en Wikidata]

Steven M. Awodey ^[1] ( /ˈaʊdi/ ; nacido en 1959) es un matemático y lógico estadounidense. Es profesor de Filosofía y Matemáticas en la Universidad Carnegie Mellon.

Biografía[editar]

Awodey estudió matemáticas y filosofía en la Universidad de Marburg y la Universidad de Chicago. Obtuvo su doctorado. de Chicago bajo Saunders Mac Lane en 1997. Es un investigador activo en las áreas de teoría de categorías y lógica, y también ha escrito sobre filosofía de las matemáticas. Es uno de los creadores del campo de la teoría de tipos de homotopía.^[2] Fue miembro de la Escuela de Matemáticas del Instituto de Estudios Avanzados en 2012-2013.^[3]

Eric H. Reck; Steve Awodey, eds. (2004). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 (Eric H. Reck, trad.). Chicago: Open Court. pp. xiv+170 p.
Awodey, Steve (2010). Category Theory (2nd edición). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0.

Connelly, James (November 2005 – February 2006). «Review of Frege's Lectures on Logic». The Bertrand Russell Society Quarterly. Archivado desde el original el 14 de junio de 2010. Consultado el 10 de febrero de 2014.
Birkedal, Lars (June 2007). «Review: STEVE AWODEY, Category Theory». Studia Logica 86 (1): 133-135. doi:10.1007/s11225-007-9053-x.
«Natural Models of Type Theory - Steve Awodey». YouTube. Institute for Advanced Study. 12 de agosto de 2016.
«Univalent Foundations Seminar - Steve Awodey». YouTube. Institute for Advanced Study. 17 de agosto de 2016.
«Constructive Type Theory and Homotopy - Steve Awodey». YouTube. Institute for Advanced Study. 30 de agosto de 2016.