No.11166803 ViewReplyOriginalReport
the definition of epimorpisms and monomorphisms make use of morphism equality.
what is meant when we say two morphisms are equal?