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)
Steve Awodey, Structure in mathematics and logic: a categorical perspective, Philosophia Mathematica (3), vol. 4, p. 209-237, 1996 (doi:10.1093/philmat/4.3.209)
Steve Awodey, An Answer to Hellman’s Question: “Does Category Theory Provide a Foundation for Mathematical Structuralism?”, 2003 (pdf, doi:10.1093/philmat/12.1.54)
(on structuralism)
From Sets to Types to Categories to Sets pdf
Last revised on March 13, 2019 at 07:09:03. See the history of this page for a list of all contributions to it.