« Category Theory

Definition. Section [0067]

For a morphism and a right inverse such that is an identity, we call a section of f.

Backlinks

Lemma. Inverse isomorphisms are unique [006B]

the left inverse and right inverse to a common morphism coincide. This means every morphism can have at most one inverse isomorphism.

Proof. TODO