Right unit law. ρ is the right unitor in the appropriate category.

Advertisements