Category Theory now permeates most of Mathematics, large parts of theoretical Computer Science and parts of theoretical Physics. Its unifying power brings toget

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

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

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

Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — re