C[M] を、モノイドMによる更新モナドのクライスリ圏として、 C[M + N] = C[M]*C [N] という指数法則は成立しそう。ただし、形がそれらしくなるように、モノイドの自由積をプラス記号で、圏の自由積をアスタリスクで書いている。モノイドの自由積、加群の自由…

デカルト半環圏 dom -- 入力型 cod -- 出力型 id -- pass 結合 -- パイプ、セミコロン 直積 -- 配列、オブジェクト、タグ付きデータ 直積単位 -- null、undefined、その他シングルトン 直和 -- when, case, cond 直和単位 -- never リスト構造 リスト型 -- […