CatDat

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