• Naturality. For each pair $f\colon A\to X$ and $g\colon B\to Y$ of morphisms of $\mathcal{C}$, the diagram

    commutes.


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


You can also use the contact form below: