このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2011-11-07から1日間の記事一覧

大量のモナド類似物を取り扱う方法:参考文献

「インデックス付き圏のフビニ/グロタンディーク同値」より: ここ2,3日考えていたことがあります。その動機とか背景とかを説明すると「けっこう面白い」かと思うのですが、長くなるので結論(になるはずのこと)だけをザッと述べます。一言だけいっておく…