The morphism r B ( \\ displaystyle r_ ( B ) ) is called A-reflection arrow .
The pair ( A B , r B ) ( \\ displaystyle ( A_ ( B ) , r_ ( B ) ) ) is called the A-reflection of B .
The morphism r B ( \\ displaystyle r_ ( B ) ) is called A-reflection of B arrow .
The pair ( A B , r B ) ( \\ displaystyle ( A_ ( B ) , r_ ( B ) ) ) is called the A-reflection of B .