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

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, whic

A short introduction ideal for students learning category theory for the first time.