Basic category theory - Leinster, Tom (Cambridge studies in Advanced Mathematics 143, 2014)