the pair formula_7 is called the a-reflection of "b". the morphism formula_8 is called the a-reflection arrow. (although often, for the sake of brevity, we speak about formula_1 only as being the a-reflection of "b").