每个人都应该看一看的范畴论入门教材，非常浅显易懂。