8
$\begingroup$

I call $(s, r)$ such that $r\circ s =\operatorname{id}$ a split morphism. (Other names are “section-retraction pair”, “split pair.”) Notice that this is not a section, because any section is one morphism. I want to make sure that no official name exists thus I can invent it myself. Do you know the name?

The same question about isomorphisms. “Isomorphism pair”, “isomorphic pair”?

The distinction may be quite apparent. Every split morphism is a categorical diagram whereas a section is not.

  • 2
    There is a notion of a split epi/monomorphism, but it isn't defined as a pair of morphisms. This seems more useful in a algebraic or constructive setting...2011-10-17
  • 0
    @Zhen Lin: Split monomorphism is just a synonym for section. I read Wikipedia before. :)2011-10-19
  • 0
    Have you settled on any terminology? I want to use it. For the second concept, I think "isomorphism pair" is a good name.2014-02-12
  • 0
    @user18921: No. I leave it to you.2014-02-14

1 Answers 1