@merliborn
merliborn
15
365
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
未登録
未登録
未登録

所属組織

解説
大学数学以上
by at
25日前
5
3
文献あり


解説
大学数学以上
by at
01月16日
11
1
文献あり


解説
大学数学以上
by at
2021年12月17日
23
1
文献あり

解説
大学数学以上
by at
2021年12月16日
201
2
文献あり

議論
大学数学以上
by at
2021年04月04日
24
2
文献あり

解説
大学数学以上
by at
2021年01月29日
28
3
文献あり

解説
大学数学以上
by at
2021年01月07日
39
3
文献あり