中間テーブル

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

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

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