A right bilinear morphism of pointed sets from $\webleft (X\times Y,\webleft (x_{0},y_{0}\webright )\webright )$ to $\webleft (Z,z_{0}\webright )$ is a map of sets
\[ f \colon X\times Y \to Z \]
satisfying the following condition:1,2
- Right Unital Bilinearity. The diagram
commutes, i.e. for each $x\in X$, we have
\[ f\webleft (x,y_{0}\webright ) = z_{0}. \]
1Slogan: The map $f$ is right bilinear if it preserves basepoints in its second argument.
2Succinctly, $f$ is bilinear if we have
\[ f\webleft (x,y_{0}\webright ) = z_{0} \]
for each $x\in X$.
