Handbook of Categorical Algebra 2 : Categories and Structures