#モナド | Mathlog

モナド

新着の記事

現代数学解説

2023年7月17日

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

圏論,トポス,モナド

4

0

371

0

文献あり

大学数学基礎解説

2022年11月30日

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

圏論,加法圏,モナド

3

0

501

0