Steve Awodey

Steve Awodey is a professor at Carnegie Mellon University interested in category theory, logic, philosophy of mathematics, history of logic and analytic philosophy. For the ‘n-community’, one should point out his recent work on homotopical ideas in type theory.

  • website

  • From Sets to Types to Categories to Sets pdf

  • Homotopy theory and type theory, 2010, pdf

category: people

Revised on February 21, 2014 05:25:41 by Andrew Stacey (