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 is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the des

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

Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusiv