# Grassmann's "general theory of forms": an appropriate question for MathOverflow?

The prospective question:

I quote from Petsche's Hermann Graßmann: Biography (emphasis mine):

The mathematical part of the book begins with the conception of the “General Theory of Forms”. Starting with a perspective on mathematics as a theory of forms, Graßmann analyses in the most abstract way possible the general structures of concrete “conjunctions of forms”. Here, he places special emphasis on “elementary conjunctions”, demanding they have module properties, that is, associativity, commutativity and an inverse and neutral element. The so-defined conjunction of the first order, or “formal addition”, is then followed up by an investigation of a conjunction of the second order (“formal multiplication”), for which he only requires distributivity with respect to formal addition. Graßmann directly posits the validity of the module properties for formal addition and distributivity for formal multiplication as the principles for constructing these conjunctions: “This generally is the way”, he wrote, “that initially, that is when no species of conjunction is yet given, such a conjunction of next higher order is defined.”

Since Graßmann does not require the forms generated by conjunctions of the second order to be embedded in the fundamental domain, he can use this form of conjunction for the formal generation of new mathematical objects in the further course of the text.

...

After Graßmann has laid down the foundation for all mathematical disciplines by presenting these uniquely generalized group-theoretical and structural abstractions he starts with the actual presentation of his new mathematical discipline.

What is the modern terminology for Grassmann's "General Theory of Forms"? How successful was this theory? What research work has been done in order to continue this line of thinking? Which resources could I acquaint myself with in order to answer these questions?

Is this an appropriate question for MO? I would really like someone who knows their stuff to answer it for me. I attempted to put a 200 rep bounty for it on M.SE, but people are really hung up on relating this to geometric algebra immediately, when it seems clear to me that the author is attempting to communicate that Grassmann attempted to explore something more general, before moving onto geometric algebra in particular. Am I misunderstanding the passage?

• I think this would be a very interesting question. I only hope there's someone who feels he/she could do the question justice, most preferably someone who has read Grassmann's writings and has thought deeply about them. (If Bill Lawvere were reading this question, I'd love to hear his response.)
– Todd Trimble Mod
Commented Jun 6, 2014 at 17:17
• @ToddTrimble Would you recommend that I request a migrate from M.SE to MO, or would you recommend that I simply rewrite the question on MO? Commented Jun 6, 2014 at 18:53
• I seem to recall that a question of this form on MO was closed some time ago, though I am not computer-literate enough to track it down. Commented Jun 6, 2014 at 19:11
• @AndyPutman You're right! I did try to post this here before.. How bizarre...I am not sure what to make of it. Commented Jun 7, 2014 at 4:59
• @user89 : So you somehow forgot? Commented Jun 7, 2014 at 18:33
• @AndyPutman I did. Most of all though, I am not sure why I listened to you the last time. I should waited for some more feedback. Commented Jun 7, 2014 at 20:08
• @AndyPutman What's interesting too is that the question didn't get closed, as you suggested. It got a single downvote, and I got worried, and thus deleted it myself, so that I could solicit feedback. Commented Jun 7, 2014 at 20:18
• Might Category Theory be similar? Commented Dec 2, 2015 at 10:55