Handbook of categorical algebra 2: Categories and structures - Borceux, Francis (Encyclopedia of mathematics and its applications vol. 51, 2008)