[[!redirects S. Awodey]] [Home page](https://www.andrew.cmu.edu/user/awodey/) category: people