You might be right, I am not sure.
It looks to me like it satisfies the definition on wikipedia, which does not require that the morphism rB is unique, only that it exists.
You might be right, I am not sure.
It looks to me like it satisfies the definition on wikipedia, which does not require that the morphism rB is unique, only that it exists.