Showing changes from revision #1 to #2:
Added | Removed | Changed
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.
Category theory equivalence of precategories functor fully faithful functor
Revision on October 11, 2018 at 10:31:32 by Ali Caglayan. See the history of this page for a list of all contributions to it.