Maudlin objects that this analysis rides roughshod over the intuition that some such generalizations could fail to be laws in worlds that we should follow scientists in deeming physically possible.
When attempting to write down these generalizations, one should think of the morphisms in the preadditive category as the elements of the generalized ring.