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