Conceptual mathematics a first introduction to categories - Lawvere, Francis W. 1937-2023; Schanuel, Stephen H. 1933- (Cambridge Univ. Press, 2012)