IsWellDefined

for objects and morphisms