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

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

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 short introduction ideal for students learning category theory for the first time.