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.
Steve Awodey, Homotopy and Type Theory, grant proposal project description (pdf)
Steve Awodey, Type theory and homotopy, Epistemology versus Ontology. Springer Netherlands, 2012. 183-201 (arXiv:1010.1810)
(on Awodey's conjecture)
Last revised on October 23, 2019 at 00:32:40. See the history of this page for a list of all contributions to it.