Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Это и многое другое вы найдете в книге Basic Category Theory for Computer Scientists (Foundations of Computing) (Benjamin C. Pierce)