• For all diagrams in $\mathcal{C}$ of the form

    if we have

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

    then $\alpha =\beta $.


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


You can also use the contact form below: