Implication Details
Claim: Given a functor whose codomain is pointed, and whose domain is pointed, if it preserves preserves initial objects, then it preserves preserves terminal objects.
Proof: This follows from the dual implication.
Claim: Given a functor whose codomain is pointed, and whose domain is pointed, if it preserves preserves initial objects, then it preserves preserves terminal objects.
Proof: This follows from the dual implication.