M math.ucr.edu Applied Category Theory Course (2018) 152 points measurablefunc 4 months ago 13 comments