notes-math
cs353
categoryTheory
algebraicLogic