generated at
圏論

Scrapbox
/category
/dragoon8192-main/圏論の記法
/miyamonz/圏
/mrsekut-p/圏論


本
ベシ圏
圏論の基礎
圏論の道案内
圏論の歩き方

Swiftで圏論
https://www.youtube.com/watch?time_continue=10&v=zvrgfsDfxf8&feature=emb_logo
https://fortee.jp/iosdc-japan-2018/proposal/45b858e0-753c-4387-9210-5837cff6da7a
もしかして、圏論用語をいちいちプログラミング用語に置き換えていけば、具体的な理解に役立つ？