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