指標の圏はだいたいこれでOKだろう

プレ圏（グラフ上に部分的な圏構造）の圏をPrecatとする。さらに、プレ圏に同値関係（一般化合同）が与えられたものを(P, E)として、その全体をEPrecatとする。EPrecatは有限余完備だと期待している。

EPrecatが有限余完備ならその上の余スパンの圏が作れる。余スパンの圏は二重圏だろうから、これが十分に一般的な指標圏を与えると思う。記号を含む境界付きグラフ＝記号回路の圏、その上にモナドがたくさん載っている構造、かな。