Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l

A wide coverage of topics in category theory and computer science is developed in this text, including introductory treatments of cartesian closed categories, s

Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of th

Category Theory is one of the most abstract branches of mathematics. It is usually taught to graduate students after they have mastered several other branches o

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the des