• The natural transformation
    \[ \alpha \colon F \Longrightarrow G \]

    is a monomorphism (resp. epimorphism) in $\mathsf{Fun}\webleft (\mathcal{C},\mathcal{D}\webright )$.


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


You can also use the contact form below: