Item 2 of Proposition 6.3.10.1.1 gives a characterisation of the corepresentably full morphisms in $\textbf{Rel}$.

Are there other nice characterisations of these?

This question also appears as [MO 467527].


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: