>>20
Lawvare & Schanuel, _Conceptual Mathematics: A First Introduction to Categories_, Cambridge U.P., 1997.