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*:

- Steve Awodey,
*Homotopy and Type Theory*, grant proposal project description (pdf)

Stating Awodey's conjecture:

- Steve Awodey,
*Type theory and homotopy*, Epistemology versus Ontology. Springer Netherlands, 2012. 183-201 (arXiv:1010.1810)

On natural models of homotopy type theory:

- Steve Awodey,
*Natural models of homotopy type theory*, Mathematical Structures in Computer Science,**28**2 (2016) 241-286 $[$arXiv:1406.3219, doi:10.1017/S0960129516000268$]$

category: people

Last revised on June 7, 2022 at 02:37:27. See the history of this page for a list of all contributions to it.