圏論

Backlinks

https://kyndinfo.notion.site/Category-Theory-and-Code-2da019e814cf8023aa58d9e2fd53c315 kynd さんによるコードを用いた圏論の解説以下雑なメモ具体的にそれがなにかは置いといて関係性に注目する対象と射命題を点、証明を矢印で表すのおもろい射の合成と恒等射が成立すれば圏らしい繰り返しになりますが圏論では具圏論とコード