新規作成
モナド
2
Contributors
0
Followers
ホーム
記事
本
新着の記事
現代数学
解説
merliborn
2023年7月17日
ノート:トポス (1) - 初等トポスは有限余完備である
圏論
,
トポス
,
モナド
4
0
293
0
文献あり
大学数学基礎
解説
K.Hirata
2022年11月30日
前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手
圏論
,
加法圏
,
モナド
3
0
501
0