If has finite categorical limits, every functor preserving pullbacks in a category also preserves equalizers, even when it does not preserve a terminal object. Factor it through the slice category by sending to . This lifted functor preserves pullbacks because the slice forgetful functor reflects them; it also preserves the terminal object, so it preserves finite limits. The slice forgetful functor preserves equalizers, completing the proof.
Articles by others on the same topic
There are currently no matching articles.