Quote


Voting: - 0 +
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