left inverse
Jump to navigation
Jump to search
English[edit]
Noun[edit]
left inverse (plural left inverses)
- (mathematics) A related function that, given the output of the original function, returns the input that produced that output.
- In order for a function to have a left inverse it must be injective.
- (category theory) For a given morphism f : X → Y, its right inverse (if it has one) is a morphism s : Y → X such that .
Usage notes[edit]
Given two functions and , is the left inverse of iff for all in , . The term is only used if there exists a in such that , and an unqualified inverse is preferred if no such exists.
Antonyms[edit]
Hypernyms[edit]
Translations[edit]
Translations
|