How we did it:
For any feedback, any questions, any notes or just for chat - feel free to follow us on social networks
Benjamin C. Pierce
Basic Category Theory for Computer Scientists provides a straightforward presentationof the basic constructions and terminology of category theory, including limits, functors, naturaltransformations, adjoints, and cartesian closed categories.
A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.