t_wの輪郭
けんろん
2022/11/8 20:24:00
圏論
圏
論
けんろん
わからん
圏論
2023/9/29 14:54:00
わからん
『圏論の基礎』
『ベーシック圏論』
『圏論の技法』
『圏と表現論』
『すべての概念はKan拡張である』
Kan拡張
『圏論 | 壱大整域』
Awodey『圏論』
圏論
正規表現を微分
『今日は「データベースは圏なんだよ!の会」の日です』
圏論的データベース
『ゆる圏 YouTube』
『はじめに - Scalaで始める圏論入門』