Conceptual Mathematics: A First Introduction to Categories by F. William Lawvere

Cambridge University Press Conceptual Mathematics: A First Introduction to Categories