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

モナド

使用者数

1

フォロワー数

0

解説...

2022年11月30日

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

圏論,加法圏,モナド

303

4

読み込み中