最近気付いたことを大雑把に記します。細部は記述していません。ファイバー積（引き戻し、pullback）が存在する圏Cに対して、スパンの圏Span(C)が定義できます。特にCが集合圏Setである場合を考えます。Span(Set)の話ですね。Span(Set)のなかに、関係圏Relを…