Gentle Intro to Category Theory (new version, pp. 273)academia.edu2 pointsHilbertsProgram10 years ago