• For all diagrams of the form

    if $\alpha $ and $\beta $ are natural isomorphisms and we have

    \[ \alpha \mathbin {\star }\text{id}_{F}=\beta \mathbin {\star }\text{id}_{F}, \]

    then $\alpha =\beta $.


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


You can also use the contact form below: