Category theory notes 13: Adjunction (Part 2)
In the previous post “Category theory notes 12: Adjunction (Part 1)” I wrote about my thoughts on adjunction, an extremely important component of category th...
Recent posts
Category theory notes 12: Adjunction (Part 1)
So, after reading many textbooks, watching many video tutorials, and attending two guided courses, I finally understood adjunction. That was a real “Eureka!”...
Category theory notes 11: Composite naturality (Part 2)
In my previous post “Category theory notes 10: Composite naturality (Part 1)” I illustrated the vertical and horizontal compositions of natural transformatio...
Category theory notes 10: Composite naturality (Part 1)
The notion of natural transformation is surprisingly easy to follow. If you know what an arrow is and what a functor is, then you automatically know what a n...
Category theory notes 9: Full and half inverses
Category theory textbooks often warn learners that categorical objects and arrows shouldn’t be tied to sets and functions. A poset category, for example, has...