Home Up Previous Next Random
A unit profunctor on a \(\mathcal{V}\) category.
\(U_\mathcal{X}(x,y):=\mathcal{X}(x,y)\)