Category Theory (Oxford Logic Guides)Steve Awodey
ってどう？圏論の勉強したいんだけど。