# Homotopy Type Theory split essentially surjective (changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

## Definition

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$.

## References

HoTT book

category: category theory

Last revised on October 11, 2018 at 06:32:37. See the history of this page for a list of all contributions to it.