Overview

An section for {% f:A \rightarrow B %} is a morphism {% s:B \rightarrow A %} such that {% f \circ s = \mathbb{1}_B %}