# nLab centipede mathematics

Centipede mathematics is where you take a mathematical concept and see how many parts you can strip away without completely destroying its ability to function properly. Steven Krantz has attributed this term to Antoni Zygmund. From Mathematical Apocrypha Redux: ‘You take a centipede and pull off ninety-nine of its legs and see what it can do.’ (We do not recommend doing this to an actual centipede, unless it is a land-mine destroying robot.)

For example, you can start with the concept of abelian group and try removing some things:

• remove commutativity to get groups;
• then remove inverses to get monoids;
• or remove associativity instead of inverses to get loops;
• etc (see group for more).

What still works? Abelian groups form an abelian category, while groups only form a semi-abelian category, so cohomology gets more complicated (see nonabelian cohomology) but still makes sense. Monoid representations (say on vector spaces) make as much sense as group representations, but loop representations are not apparently meaningful. (But like nonabelian cohomology, maybe somebody will make sense of them some day.) Describing homomorphisms and presentations of monoids takes a little more care than for groups, while the naïve definitions continue to work for loops. Sometimes things actually work better; group objects make sense only in a cartesian monoidal category, while monoid objects make sense in any monoidal category. By seeing what are the salient features for making sense of things like cohomology and representation theory, we also see that we can generalise these, not by simply removing clauses from the definition of group, but by reworking the concept into such things as categories or quantum groups.

Centipede mathematics in the context of foundations is often called reverse mathematics. Here we remove axioms from set theory (or some other form of foundations) and consider what theorems can still be proved, which can be proved if reformulated into (obviously) classically equivalent forms, and which are lost entirely (ideally provably so). On the Lab, some of us like to do this for constructive mathematics, but it is also important for internalization. (Mainstream reverse mathematics has more to do with predicative mathematics than with either of these and works with subsystems of higher-order arithmetic?.)

Like ‘general abstract nonsense’, the term ‘centipede mathematics’ can vary from tongue-in-cheek to derogatory. Certainly there is little value in proving isolated theorems like ‘Hemidemisemicontinuous functions are Leibniz-integrable.’ when one never really needs to integrate such general functions in such a restrictive way (both terms here are made up, to avoid insulting the creators of any real-life useless theorems). But sometimes thinking about what is really necessary points the way to really fruitful generalisations; like every judgement in mathematics, good taste is required.

Revised on November 18, 2015 18:35:55 by Anonymous Coward (129.97.134.116)