Person. Saunders Mac Lane PhD studentsSteve Awodey Papers Categories for the Working Mathematician maclane_19711971 Web