Category theory - Awodey, Steve (Oxford logic guides, 2011)