Implication details

Claim: Given a functor whose domain is core-connected, then it is essentially injective.

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