Category theory - Kamps K H; Tholen W (1982)