3 ms·
not to mention the "moist interesting category-theoretical concepts"
by diyseguy 4y ago
not to mention the "moist interesting category-theoretical concepts"
- Koshkin 4y agoSpeaking of those - they are not even mentioned in the text (yet), but without them any presentation of CT will seem necessarily dry: natural transformations and equivalence; adjunctions; and, of course, monads (them being monoids in the category of endofunctors notwithstanding).