A functor $F\colon \mathcal{C}\to \mathcal{D}$ is a epimorphism of categories if it is a epimorphism in $\mathsf{Cats}$ (see ).


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


You can also use the contact form below: