Abstraction or generalization is a basic tactic in mathematics research. By formulating an argument or placing a concept in ‘proper generality’, one not only strengthens results and widens applicability, but one also perceives much more clearly what is truly at stake within the sphere of concepts where the mathematics takes place.
Without too much of an exaggeration, one could say that the development of modern algebra generally, and categorical algebra in particular, has been driven by the need to extract the essence of mathematical structures and situate them within axiomatic frameworks of general type. This is certain true of such concepts as topos?, abelian category?, scheme?, cohomology theory?, and countless others.
Finding the ‘right’ generality (as opposed to merely maximal generality) of concepts is a kind of dialectical process, in which generality in the strictly logical sense must be balanced against other considerations such as simplicity, ease of application, suggestiveness, aesthetics, etc. The result of such persistent conceptual polishing is often a theory that becomes concentrated in its well-chosen definitions, from which key summary results flow naturally.
Occasionally throughout the history of mathematics (and physics, etc.), the drive to abstraction has met with suspicion. To some extent this may be a generational phenomenon, where shifting conceptual landscapes and pressure to relearn the foundations of a subject may meet with resistance from mathematicians long accustomed to older insights. There can also be justice in the charge that generality for the sake of generality is a sterile pursuit, and a typical counter-reaction is that further layers of abstraction should “prove themselves”, e.g., by leading to solutions of venerable problems.
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:
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 representation?s (say on vector space?s) 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 object?s make sense only in a cartesian monoidal category?, while monoid object?s 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 group?s.
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.
What is the primary tool for such summing up of the essence of ongoing mathematics? Algebra! Nodal points in the progress of this kind of research occur when, as in the case with the finite number of axioms for the metacategory of categories, all that we know so far can be expressed in a single sort of algebra. I am proud to have participated with Eilenberg, Mac Lane, Freyd, and many others, in bringing about the contemporary awareness of Algebra as Category Theory.