Handbook of Categorical Algebra: Volume 1, Basic Category Theory

A Handbook of Categorical Algebra is designed to give a detailed account of what should be known by everybody working in, or using, category theory. As such it will be a unique reference. The three volumes are written in sequence, with the first being essentially self-contained. Volume 1 is devoted to general concepts and can be used for advanced undergraduate courses on category theory.