Basic category theory - Leinster, Tom. (Cambridge University Press, 2014)