A right bilinear morphism of pointed sets from
satisfying the following condition:1,2
- Right Unital Bilinearity. The diagram
commutes, i.e. for each
, we have
1Slogan: The map is right bilinear if it preserves basepoints in its second argument.
2Succinctly, is bilinear if we have
for each