Definition In category Theory, a split morphism is a morphism with a one-sided inverse (either a retraction or section).