新規作成
merliborn
37
10553
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
17
Followers
19
Follow
ホーム
記事
13
本
0
高評価
新着の記事
大学数学基礎
解説
2021年5月1日
20210501: 社会問題にセンシティブになればいい
モデル理論
,
リサイクル
,
ヒンズースクワット
2
0
53
0
文献あり