nLab
Michael Dine

category: people