split essentially surjective (Rev #1, changes)

Showing changes from revision #0 to #1:
Added | ~~Removed~~ | ~~Chan~~ged

We say that a functor $F : A \to B$ is **split essentially surjective** if for all $b:B$ there exists an $a:A$ such that $F a \cong b$.

Category theory equivalence of precategories

Revision on September 18, 2018 at 11:38:38 by Ali Caglayan. See the history of this page for a list of all contributions to it.