t_wの輪郭
半順序集合
直観主義論理
代数
ハイティング代数
2024/4/22 19:36:00
Awodey『圏論』
ブール代数
ハイティング代数
圏論
本
Awodey『圏論』
2024/4/22 19:37:00
基礎から解説してくれる本らしい
ロジック寄りらしい。
【VOCIEROID解説】圏論の入門書入門 - YouTube