L logicmatters.net Category Theory: Lecture Notes and Online Books 129 points coalgebraic 4 years ago 26 comments
