プログラマーのための圏論
https://ktgw0316.github.io/milewski-ctfp-markdown/#
プログラマ向けに圏論を解説する本
C++, Haskellといったプログラムを例示しつつ圏論を説明し、プログラミングにおける有用性を説く