http://www.tac.mta.ca/tac/volumes/1999/n11/n11.pdfより：Definition.A generalized congruence on a category A is an equivalence relation ≡ on ObA and a partial equivalence relation ≡ on MorA+ satisfying the following conditions. φχ ≡ ψ impli…

"Categories of Processes Enriched in Final Coalgebras" http://citeseer.ist.psu.edu/411633.html はもはや利用不可能になっていた。見たければ、シュプリンガーからバカ高い値段で買うしかない。ウーム、気になる論文はローカルにダウンロードしておくべ…