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