It looks like you're new here. If you want to get involved, click one of these buttons!
Choose a not-too-simple \(\textbf{Cost}\)-category \( \mathcal{X} \). Give a bridge-style diagram for the unit profunctor \( U_\mathcal{X} : \mathcal{X} \nrightarrow \mathcal{X} \).
Previous Next