Implication Details
Claim: Given a functor whose codomain is trivial, and whose domain is core-connected, then it is full on isomorphisms.
Proof: This is trivial.
Claim: Given a functor whose codomain is trivial, and whose domain is core-connected, then it is full on isomorphisms.
Proof: This is trivial.