Implication Details

Claim: Given a functor whose codomain is pointed, and whose domain is pointed, if it preserves initial objects, then it preserves terminal objects.

Proof: This follows from the dual implication.

This implication has a dual.