Added prerequisites for EqualityOfMorphisms