Conceptual mathematics a first introduction to categories - Lawvere, F. William (Cambridge university, 2009)