Junto con Steve Schanuel, publicó un libro sobre categorías, "Conceptual Mathematics: A First Introduction to Categories", (Cambridge University Press, Cambridge, 1997).