t_wの輪郭

半順序集合直観主義論理代数
Awodey『圏論』

Awodey『圏論』

2024/4/22 10:37:00

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

ロジック寄りらしい。