Implication details

Claim: Given a functor whose codomain is retract-trivial, if it is dominant, then it is essentially surjective.

Proof: This is trivial.
Show 2 functors using this implication