一般化合同（generalized congruence）

• 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/n11.pdf
• 16ページ

これ↑はもろに一般化合同についてだ。

• Title: CATEGORIES OF COMPONENTS AND LOOP-FREE CATEGORIES
• Author: EMMANUEL HAUCOURT
• URL: http://www.tac.mta.ca/tac/volumes/16/27/16-27.pdf
• 36ページ

どうも有向（directed）な代数トポロジーみたい。

• Title: Components of the Fundamental Category II
• Authors: E. Goubault, E. Haucourt
• URL: http://www.di.ens.fr/~goubault/papers/apcsII.pdf
• 32ページ

「並列性の幾何」のゴウバウルト（Goubault）と、1つ前の論文の著者だ。やっぱりどうも、一般化合同は有向トポロジーに関係して、並列性に使うらしい。

次の2つのスライドはきれいで楽しい。

• Title: スライド：Invariants of directed spaces and persistence
• Author: Martin Raussen
• URL: http://www.math.aau.dk/~raussen/TALKS/transinvdirspa.pdf
• 27ページ

• Title: スライド：Directed topology. An introduction
• Author: Martin Raussen
• URL: http://www.math.aau.dk/~raussen/TALKS/ditopt.pdf
• 26ページ