What is the meaning of Right_inverse?
For a given morphism f : X → Y, its right inverse (if it has one) is a morphism s : Y → X such that .
Source: wiktionary.orgSearch words containing
For a given morphism f : X → Y, its right inverse (if it has one) is a morphism s : Y → X such that .
Source: wiktionary.orgSearch words containing