Categorical algebra and its applications - Borceux, Francis, 1948- (Lecture notes in mathematics ;, 1988)