partial map;
relation;
pierced power object;
element relation;
D O I:
暂无
中图分类号:
学科分类号:
摘要:
With the notions of partial morphism and relation to be understood with respect to a class M of monomorphisms in a finitely complete category C, we give sufficient conditions for the graph functor Par(C) → Rel(C) to admit a right adjoint. Only under an additional condition is this right adjoint given by the naturally constructed `pierced power objects".