functor preserving epimorphisms

1. Definition

Let \(\mathcal{C}, \mathcal{D}\) be categories and \(\mathcal{F}: \mathcal{C} \rightarrow \mathcal{D}\) be a functor. Then \(\mathcal{F}\) is said to be preserve epimorphisms, if for an epimorphism \(f \in \mathrm{Mor}(\mathcal{C})\)

\begin{align*} \mathcal{F}(f) \end{align*}

is also an epimorphism

Date: nil

Author: Anton Zakrewski

Created: 2024-10-19 Sa 21:30