作者是Steve Awodey,对于CS来说,是认识范畴论这个数学课题的好开端,因为这个读物易于阅读和理解。