→ Set，将每个物件"x"映射至formula_3且每个态射"x" → "y"映射至包括映射formula_4中，以此来做为一具体范畴。3.物件为集合且态射为关系的范畴Rel第一眼看起来会是可具体的。然而，其会等价于一个物件为完全格且态射为上确界保持映射的范畴Sup。后者是具体的，所以可将Rel置于Rel → Sup → Set中。若这样做的话，则Rel的物件（即集合）的「源集合」不会是它本身，而是它的幂集。在此意思之下，关系formula_5的「源函数」即为函数formula_6，其定义为form