态射为关系的范畴Rel第一眼看起来会是可具体的。然而，其会等价于一个物件为完全格且态射为上确界保持映射的范畴Sup。后者是具体的，所以可将Rel置于Rel → Sup → Set中。若这样做的话，则Rel的物件（即集合）的「源集合」不会是它本身，而是它的幂集。在此意思之下，关系formula_5的「源函数」即为函数formula_6，其定义为formula_7。4.基于技术上的理由，巴拿赫空间和线性缩约的范畴Ban通常不是带有「明显」的遗忘函子，而是将巴拿赫空间映射至其（封闭）单位球的函子"U" : B