t_wの輪郭
ブール代数
ハイティング代数
圏論
本
Awodey『圏論』
2024/4/22 19:37:00
基礎から解説してくれる本らしい
ロジック寄りらしい。
【VOCIEROID解説】圏論の入門書入門 - YouTube
Awodey『圏論』
『圏論の技法』
『ベーシック圏論』
『圏論の基礎』
【VOCIEROID解説】圏論の入門書入門 - YouTube
2024/4/22 19:32:00