His supervisor at Princeton was John Moore and he wrote a dissertation on category theory in which he produced results which were to become fundamental tools in topology .
Kanyang superbisor sa Princeton ay John Moore at siya wrote isang disertasyon sa kategorya ng teorya sa kung saan siya ginawa ng mga resulta kung saan ay upang maging pangunahing kasangkapan sa topology.