Implication Details
Claim: Given a functor whose codomain is trivial, then it is cocontinuous.
Proof: This follows from the dual implication.
Claim: Given a functor whose codomain is trivial, then it is cocontinuous.
Proof: This follows from the dual implication.