Conceptual mathematics : a first introduction to categories - Lawvere, F. W., 1937- (Cambridge University Press, 1997)