Handbook of categorical algebra. Basic category theory Francis Borceux
Publisher: Cambridge University Press

Borceux, Handbook of Categorical Algebra, (Encyclopaedia of Math-. Homological algebra is category theory in its aspect of organising and suggesting manipulations in abstract algebra. Basic Research in Computer Science. Handbook of categorical algebra. Categories are about collections of morphisms. Basic constructions, such as the fundamental group or fundamental groupoid of a .. Category theory reflects on itself. The conceptual clarity gained from a categorical understanding of some particular Secondly, the fact that category theory is essentially algebraic means that it can be learned by such elisions and thus presents the basic material in a form that reas-. And there are evident morphisms between functors: natural transformations. And there are evident morphisms between categories: functors. Important features of category theory is that it is a guide to computation.