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.
Early note on what came to be known as homotopy type theory:
Stating Awodey's conjecture:
On natural models of homotopy type theory:
Last revised on June 7, 2022 at 02:37:27. See the history of this page for a list of all contributions to it.