意外と少ない。 google:coalgebra Robert Goldblatt

射影と入射は確かに双対だ。絵算の観点からは、どちらもダミーワイヤーを導入するときに使う。ダミーワイヤーは繋がってない（通電してない）ワイヤーで、捨てても同じ。配線の帳尻を合わせるために適宜挿入する。絵算でダミーワイヤーは必須だけど、どうせ…

C = (C, +, 0)が双デカルト・モノイド圏とする。X∈|C|が単純だとは、Xは0に同型でなくて、「monoなi:S→Xがあるとき、S≒0またはS≒X」なこと。Cが単成的（単項生成的）とは： 単純対象が（同型を除いて）1つしかない。 すべての対象は半単純、つまり単純対象の…

関連： 圏とloopingオペレータのまとめ - 檜山正幸のキマイラ飼育記 メモ編 絵算でゴー：looping - 檜山正幸のキマイラ飼育記 メモ編 Elgotダガー - 檜山正幸のキマイラ飼育記 メモ編 ElgotダガーとConwayダガー - 檜山正幸のキマイラ飼育記 メモ編 トレース…