This dir includes my reading notes and solutions to the exercises in "Basic Category Theory for Computer Scientist" by Benjamin C. Pierce.
- chapter 1: basic constructions
- chapter 2: functors, natural transformations, and adjoints
- chapter 3: applications (skipped)