A functor is essentially surjective if for all , there merely exists an such that .
We say that is a weak equivalence if it is fully faithful and essentially surjective.
For categories there is no difference between weak equivalences and equivalences.
Last revised on October 11, 2018 at 06:31:32. See the history of this page for a list of all contributions to it.