Category theory - Awodey, Steve 1959- (Oxford logic guides, 2006)