分断圏（segmented category）

どんな射fでもdom(f) = cod(f)である圏を分断圏（segmented category）と呼ぼう。（分断された圏、被分断圏が正確な日本語だと思うが。）

対称群を集めた圏Symmとかアミダ図の圏Amidaとかがその例。これらの例にはモノイド積もある。通常は、対称モノイド分断圏（symmetric monoidal segmented category）として登場する。Cがモノイド分断圏なら、|C|上にモノイド積を制限するとモノイドになる。特に |C| = N のときが典型的。

システムのインターフェース（ポートセット、アダプタ、ファセット）はたぶん、対称モノイド分断圏になる。