Theory and Applications of Categories ([R. Rosebrugh])