みんなの圏論

Mac Lane本では高度すぎるという方向け。
著者が最初に考えていたタイトルは「Categories for Everyone」だったらしいですが、
その言葉通り幅広い分野で応用することを念頭に書かれていて、
代数、
トポロジー、
型理論、
論理学などへの応用例が豊富です。
Lawvere本でも少し圏論の勉強はしていたのですが、
この本を読んで、
圏論の応用範囲の広さと、
様々な分野を結びつける能力に驚きました。
余代数の話題があったりすると個人的にはもっと嬉しかったのですが。