Def category_theory.subobject.wide_cospan

Modification history