The Clowder Project

Here are some examples of strict epimorphisms.

1. Strict Epimorphisms in $\mathsf{Cats}_{\mathsf{2}}$. The strict epimorphisms in $\mathsf{Cats}_{\mathsf{2}}$ are characterised in Chapter 9: Categories, Item 1 of Proposition 9.7.3.1.2.
2. Strict Epimorphisms in $\textbf{Rel}$. The strict epimorphisms in $\textbf{Rel}$ are characterised in Chapter 6: Relations, Proposition 6.3.9.1.1.