Conceptual mathematics: A first introduction to categories - Lawvere, F William (1997)