The Clowder Project

Here are some examples of corepresentably full morphisms.

1. Corepresentably Full Morphisms in $\mathsf{Cats}_{\mathsf{2}}$. The corepresentably full morphisms in $\mathsf{Cats}_{\mathsf{2}}$ are characterised in Chapter 9: Preorders, Item 7 of Proposition 9.6.2.1.2.
2. Corepresentably Full Morphisms in $\textbf{Rel}$. The corepresentably full morphisms in $\textbf{Rel}$ are characterised in Chapter 6: Relations, Item 2 of Proposition 6.3.10.1.1.