Handbook of Categorical Algebra 2: Categories and Structures