Category Theory - Awodey, Steve (Oxford logic guides 52, 2010)