Category-theoretic generality that encompasses a formalism does not constitute the kind of scientifi...