st123 https://blog.hatena.ne.jp/st123/ 圏論 https://st123.hatenadiary.org/ 6-2 モナドに関する代数 定義6-2-1 -代数 [tex:] が におけるモナドであるとき、 と の組 [tex:] で次の図式を満たすものを -代数という。 このような は代数の構造射とよばれる。 -代数の射 [tex:f\hspace{3}:\hspace{3}\hspace{3}\longrightarrow \hspace{3}] は次の図式を可換にする ここで を「対象が -代数、射が上記の射とする圏」と考える。 （射が結合律を満たすので圏になる。） 定理6-2-1 [tex:] が のモナドであるとき、 [tex:\begin{array}&&\rightarrow &x\\\… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fst123.hatenadiary.org%2Fentry%2F20150218" title="第6章　6-2 モナドに関する代数 - 圏論" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-02-18 00:00:00 rich https://st123.hatenadiary.org/entry/20150218 1.0 100%