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