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