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

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

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in

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 is one of the most abstract branches of mathematics. It is usually taught to graduate students after they have mastered several other branches o