t_wの輪郭

Feedlyでフォローするボタン
代数直観主義論理半順序集合
Awodey『圏論』

Awodey『圏論』

2024/4/22 19:37:00

基礎から解説してくれる本らしい

ロジック寄りらしい。