An Introduction to Category Theory - Harold Simmons (Cambridge University Press, 2012)