Overview

An retraction for {% f:A \rightarrow B %} is a morphism {% r:B \rightarrow A %} such that {% r \circ f = \mathbb{1}_A %}