Quote


Voting: - -3 +
Do I have to tell you what a category is? I'm gonna tell you what a category is.
— Dexter Kozen, Kleene Algebra Lecture, introducing adjunctions · Feb. 15, 2024