nLab
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.

selected writings

category: people

Last revised on March 13, 2019 at 07:09:03. See the history of this page for a list of all contributions to it.