Conceptual Mathematics: A First Introduction to Categories 2nd Edition by F. William Lawvere, ISBN-13: 978-0521719162