c4se記:さっちゃんですよ☆

.。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)

.。oO(此のblogは、主に音樂考察Programming に分類されますよ。ヾ(〃l _ l)ノ゙♬♪♡)

音樂は SoundCloud 等に公開中です。

考察は現在は主に Scrapbox で公表中です。

Programming は GitHub で開発中です。

2021-02-16から1日間の記事一覧

圈論初級の monoid っぽいの達を纏めた

登場人物は monoid monoid の圈 monoidal 圈 monoid 對象の圈 monad である。 TL;DR monoid は集合上の結合律と單位律とを滿たす演算である monoid の圈 は monoid と monoid 準同型との成す圈である monoidal 圈 は對象の間に自然同型の違ひを除いて monoid…