Categories, allegories - Freyd, Peter J. (North-Holland mathematical library, 1990)