Introduction To Category Theory - Simmons, Harold (Cambridge University Press, 2011)