すごくラフに書くけど、後でチャント書くべし（TODO）。古典的なΣ代数の圏、ローヴェル（Lawvere）の代数セオリー、Monoid(C) = CΔという事実などの拡張を論じる。Σを指標（単に何の制限もない有向グラフと見る！）として、グラフΣから自由生成された圏FreeC…

google:"generalized congruence" category functor で探してみると： Title: GENERALIZED CONGRUENCES. EPIMORPHISMS IN Cat Authors: MAREK A. BEDNARCZYK, ANDRZEJ M. BORZYSZKOWSKI, WIESLAW PAWLOWSKI URL: http://www.tac.mta.ca/tac/volumes/1999/n11…