viercc @monoid_patchwork@fedibird.com

あー、これは出ないな
そもそも要素の配置に関してAbsorptionから何も言えない。

Alignedness則（Foldableと関連付ける）はAlignにしか無くて、Zipが変な振る舞いをすることを止められない

Align+Zipから単射性が出るのか？？？

j_{a,b} = mid{a,b,a}
です、mid{b,a,b}ではない

さらにFがZipなら

・Mはsemilattice i.e. 可換かつべき等
・任意の(a ≤ b)に対するj_{a,b} = mid{b,a,b} :: E_{a} -> E{b}
・j_{b,c}∘j_{a,b} = j_{a,c}

※ jの単射性のような条件が出てこない

Polynomial functor F が Applicative のとき、

・集合M とそれで添字付けられた集合族 {E_a}, a ∈ M
・F(x) = Σ_{a ∈ M} (E_a → x)
・Monoid {M, ・, 1}
・関数の族 mid_{a,b,c} :: E_{abc} → E_b
・midが整合性条件を満たす

感染者が少ないタイミングで行くべきだったなぁ

新型コロナで散髪をしてもらう頻度を減らして前髪だけ自分で切ってるのだが、もう既に後頭部で纏めても背中に付くぐらい長い

[ANN] auto-lift-classes: Deriving (Show|Read)(1|2)

https://hackage.haskell.org/package/auto-lift-classes-1

(Semi)alignの合成が(Semi)alignなのは、そんなに難しくない
問題は吸収律

そういやZip則+Align則が「十分」なのかってちょっとまだ分かってないんだよね

例えばZip+Align関手の合成がZip+Align則を満たすことの証明、自分はちゃんと書ききってないしほかの人がやったのも見てない

インフル予防接種

36.3℃

じゃっかん頭痛い

[ANN] Uploaded free-applicative-t
https://hackage.haskell.org/package/free-applicative-t-0.1.0.0

どうやってフォロー先を探そうかね

[私のプロフィールをこれで検証してね: openpgp4fpr:B2E1DC9AF16599BD2D873A227BABC58075EC4EE6]