Similarly , it is bireflective if all reflection arrows are bimorphisms .
If all A-reflection arrows are ( extremal ) epimorphisms , then the subcategory A is said to be ( extremal ) epireflective .
It is bireflective if all reflection arrows are bimorphisms .
If all A-reflection arrows are ( extremal ) epimorphisms , then the subcategory A is said to be ( extremal ) epireflective .