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