« Category Theory

Definition. Retraction [0066]

For a morphism and a left inverse such that is an identity, we call a retraction 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