どんな射fでもdom(f) = cod(f)である圏を分断圏（segmented category）と呼ぼう。（分断された圏、被分断圏が正確な日本語だと思うが。）対称群を集めた圏Symmとかアミダ図の圏Amidaとかがその例。これらの例にはモノイド積もある。通常は、対称モノイド分断…

誠に申し訳ございませんが、大変残念なご報告があります。お客様のご注文内容のうち、以下の商品については入手できないことが判明いたしました。 なんだよもー。カーラー＆リュウバシェンコの本は入手できない。それで、Kinokuniya BookWeb（http://bookweb…