2021-02-16から1日間の記事一覧
登場人物は monoid monoid の圈 monoidal 圈 monoid 對象の圈 monad である。 TL;DR monoid は集合上の結合律と單位律とを滿たす演算である monoid の圈 は monoid と monoid 準同型との成す圈である monoidal 圈 は對象の間に自然同型の違ひを除いて monoid…
.。oO(此のblogは、主に音樂と考察と Programming に分類されますよ。ヾ(〃l _ l)ノ゙♬♪♡)
音樂は SoundCloud に公開中です。
考察は現在は主に Scrapbox で公表中です。
Programming は GitHub で開發中です。
登場人物は monoid monoid の圈 monoidal 圈 monoid 對象の圈 monad である。 TL;DR monoid は集合上の結合律と單位律とを滿たす演算である monoid の圈 は monoid と monoid 準同型との成す圈である monoidal 圈 は對象の間に自然同型の違ひを除いて monoid…