基本的にエンジニアは潜在的には圏論好きだと思います（大きめの主語）ただ圏論の出自がハードコアな数学だということもあって、多くの入門書はそれを踏襲した書き方になっています。個人的にはエンジニアに最適化した形での再構成はきっとできると思います。いずれ型理論の勉強と共にやってみたい。

12:13 AM

とりあえず圏はグラフで、関手はグラフ写像だと思うと理解しやすいと思います

集合が要素を持っていることは忘れて、一個の点だと思うのです

(edited)