• Unitality. We have
    \begin{align*} \chi _{B}\mathbin {\diamond }R & = R,\\ R\mathbin {\diamond }\chi _{A} & = R. \end{align*}

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


You can also use the contact form below: