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