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