Basic category theory for computer scientists
Benjamin C. Pierce
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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.