Conceptual mathematics a first introduction to categories - Lawvere, Francis W. 1937-2023; Schanuel, Stephen H. (Buffalo Workshop Press, 1993)