「圏論的ドクトリンの安直な導入」への追加です。豊饒化〈豊穣化〉構成で新しい“圏の種別”が定義されることがあります。“圏の種別”をドクトリンと（安直に）呼んだので、既存のドクトリンから豊饒化で新しいドクトリンが作られることになります。通常の圏の…

圏論の計算をしていて、組み合わせ的な議論に行き着くことはよくあります。モノイド圏をいじっていたら、二分木のプリミティブな組み合わせ的事実が必要になりました。その話をします。内容： 二分木とリスト リストのスプライシングと平坦化 二分木の平坦化…