Handbook of categorical algebra 1: Basic category theory - Borceux, Francis (Encyclopedia of mathematics and its applications vol. 50, 2008)