[[!redirects Steve Awodey]] [[!redirects S. Awodey]] < [[nlab:Steve Awodey]] category: redirected to nlab