参考文献

Steve Awodey, Category Theory
Tom Leinster, Basic Category Theory
Tom Leinster, Doing without diagrams