Education
His thesis, completed at the University of Cambridge in 1974, was entitled "Some Aspects of Internal Category Theory in an Elementary Topos".
His thesis, completed at the University of Cambridge in 1974, was entitled "Some Aspects of Internal Category Theory in an Elementary Topos".
He invented or developed some ideas in topos theory.
