モナド
使用者数
1
フォロワー数
0
Home
Articles
Books
全てのカテゴリ
作成日順
高評価数順
解説
...
K.Hirata
2022年11月30日
前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手
圏論
,
加法圏
,
モナド
303
4
読み込み中...
読み込み中