見出しカテゴリーが増えるのはしょうがない。現状ではカテゴリー編集手段がない。が、カテゴリー表示の順序だけでも直しておくとよい。 カテゴリー編集がないのは実に辛い。手で直すか？ カテゴリー表示（はてなモジュール）に区切り線を入れた。

僕がジャンクションと呼んだもの（ステファネスクは確かコネクターと呼んでいた）を定式化するのに、細かい定義や補題が要る。圏Cが全不連結とは： X≠Y ならば C(X, Y)=空。 要するに、End(X) = C(X, X)にしか射がない。本質的に全不連結とは： C(X, Y)≠空 …