ベーシック圏論 普遍性からの速習コース
Tom Leinster, 斎藤 恭司他

↑この本ってどうですか？
なんか定義とかちゃんとしていないように思います。