generated at
2/21/2025, 9:23:16 PM
Categorical Informatics
http://math.mit.edu/~dspivak/informatics/