中間テーブル

関係は、スパン（あるいはn-スパン）の特殊なもの。特殊性は、jointlyに単射なこと。

で、関係をスパン（あるいはn-スパン）の置き換えること。一般的な関係（あるいは非決定性写像）を避けて、単葉な関係（あるいは全域単葉な関係）に直す手法。

関係をスパンに置き換えると、関係圏から集合圏に議論を移せる。