Domain, AssociatedMorphism, Codomain

in generalized morphism category