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

所属組織

解説
大学数学以上
by at
2022年04月28日
31
3
文献あり


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

解説
大学数学以上
by at
2022年01月12日
19
0
文献あり

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

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

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

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

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