. "Category theorist" . . .