「#モナド」の記事一覧 | Mathlog

モナド

現代数学解説

2023年7月17日

ノート：トポス (1) - 初等トポスは有限余完備である

圏論,トポス,モナド

3

0

183

0

文献あり

大学数学基礎解説

2022年11月30日

前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手

圏論,加法圏,モナド

3

0

372

0

読み込み中