# nLab bireflective subcategory

A bireflective subcategory $B\subset C$ is a subcategory which is both reflective and coreflective; i.e. it is a fully faithful functor possesing both left and right adjoints.

Some people use the term in different, weaker meaning, that the unit of the adjunction is a bimorphism.

Created on December 9, 2010 15:56:46 by Zoran Škoda (148.6.183.21)