 Left-exact reflective subcategory

A reflective subcategory is left-exact when its reflector preserves finite limits. The fixed objects of a left-exact reflector are closed under finite limits.