Left-exact reflective subcategory
= 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.
= 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.