On the tree-ishness of magmas and the stringiness of groups Let me start off by saying that I suspect the answer to my question might fall under the domain of universal algebra, which is why I'm giving it that tag. However, I know only the very basics of universal algebra myself, so I'm not entirely sure. On the other hand, there is a possibility that it has a completely obvious answer and I'm just not knowledgeable enough in the area to see it. Hopefully it turns out a bit more interesting than that, though.
It seems to me that, in a certain sense, all associative and not-necessarily-commutative algebraic structures (semigroups, monoids, groups, etc.) inherit their core structure from that of strings under concatenation. For example, the respective free objects in each category can be constructed by starting with the set of strings over a certain alphabet (the generators, or the generators and a set of inverse symbols, etc.) together with a binary operation given by concatenation, and then modding out by certain structure-appropriate relations. But this means that semigroups, monoids, and groups inherit a set of limitations peculiar to working with strings of symbols. One clear example of this is the way cancelation works out. In a group, if $ax = ay$, we can cancel a from the left and conclude that $x = y$. However, if we instead have $x_1ax_2 = y_1ay_2$, we cannot necessarily conclude that $x_1x_2 = y_1y_2$. Intuitively, this is because the element a that would need to be canceled is "in between" the other two elements in the string, and thus we can't "reach it" to cancel it, since concatenation only acts at the edge of a string. In other words, the nature of strings as discrete, 1-dimensional objects has direct implications for what we can and can't do in a group, and this likewise applies to the other structures in question.
Non-associative structures are not "stringy" in this way. If a structure isn't associative, then concatenation fails to be a natural operation. Non-associative algebraic structures instead seem to inherit their properties from rooted n-ary trees, where n is the order of the operation. Again, this is mirrored by how you construct free objects in these categories: the free magma on a set $X$ is given by the collection of all (rooted) binary trees with leaves labeled in $X$, where the operation is joining trees at the root. Magmas are therefore "treeish". Once you add associativity, you leave the realm of trees and enter the realm of strings [in other words, in some sense, strings are just rooted trees modulo associativity]. Continuing on down that road, if you demand commutativity as well, you force a simplification of the core structure even further. With commutativity, we can cancel an element in between two others. If we don't have inverses, we're now basically working with multisets under union (again, modulo appropriate relations). If we do have inverses we run into some difficulties and have to do something a bit different, but intuitively I'm inclined to say we're still in the same "domain".
On some level I want to see these things as a sort of vaguely "topological" [scare-quotes] structure associated to the elements of each type of algebraic object, that limits where we can "put things" when performing operations. In a magma elements have the "topology" of a rooted tree, in a group they have the "topology" of a string, and in a commutative monoid or Abelian group they have the "topology" of a multiset.
What I'd really like to do is figure out if anyone has tried to make this idea precise before, and if so, how? Has it lead to anything interesting? Beyond that, it would be interesting to better understand the relationship between the algebraic axioms we're imposing (associativity, commutativity) and the "topological" structure they induce on the elements. Hopefully someone around here might have some insight.
 A: People have done lots of interesting works along these lines. This is a discussion that would be best had at a blackboard to facilitate easy drawing, but here is one version of the story among many. For other versions of this story try the following keywords:

*

*string diagrams (see e.g. my blog posts Introduction to string diagrams and String diagrams, duality and trace, which unlike the rest of this answer have lots of pictures, such as these:)




*

*topological quantum field theory

*operads, PROPs, multicategories, polycategories, etc.

*geometric shape for higher structures
Anyway, here's something else. There is a type of structure called a locally constant factorization algebra on a stratified manifold $M$. I am not going to define what this is in full generality because it would take awhile; it is a kind of cosheaf $F$ on $M$ equipped with multiplication maps $F(U_1) \otimes \dots \otimes F(U_n) \to F(U)$ for every inclusion of disjoint open subsets $U_i$ into an open subset $U$, together with a local constancy condition constrained by the stratification. Here are some examples:

*

*A LCFA on $\mathbb{R}$ is an associative algebra. Each open interval is assigned the algebra $A$, and every multiplication map is the multiplication on $A$.

*A LCFA on $\mathbb{R}^n$ for $n \ge 2$ is a commutative algebra $C$. Each open ball is assigned the algebra $C$, and again every multiplication map is the multiplication on $C$. Interpreted in a homotopy-theoretic or higher-categorical context we instead get an $E_n$-algebra. Here are some examples: a braided monoidal category is an $E_2$-algebra in categories, and for every pointed space $X$ the $n$-fold loop space $\Omega^n X$ is an $E_n$-algebra in spaces.

*A LCFA on a half-open interval $(-\infty, 0]$ equipped with a stratification that distinguishes the point is a pair $(A, M)$ consisting of an associative algebra $A$ and a left $A$-module $M$. Each open interval is assigned the algebra $A$, each half-open interval containing $0$ is assigned the module $M$, and the multiplication maps are combinations of the multiplication on $A$ and the module action.

*A LCFA on $\mathbb{R}$ equipped with a stratification that distinguishes the point $0$ is a triple $(A, M, B)$ consisting of two associative algebras $A, B$ and an $(A, B)$-bimodule $M$. You can probably guess how this goes.

*A LCFA on the circle $S^1$ equipped with a stratification that distinguishes any point $0$ is a pair $(A, M)$ consisting of an associative algebra $A$ and an $(A, A)$-bimodule $M$. Every open interval not containing $0$ is assigned $A$, every open interval containing $0$ is assigned $M$, the multiplication maps are given by combinations of the multiplication on $A$ and both the left and right actions, and perhaps most interestingly, the entire circle is assigned the (zeroth) Hochschild homology $HH_0(A, M)$ or, interpreted in the appropriate derived context, the entire Hochschild homology $HH_{\bullet}(A, M)$. (I don't quite remember whether this construction implicitly requires choosing a framing on the circle.)

*A LCFA on the circle $S^1$ with no stratification assigns to every open interval an associative algebra $A$ and assigns to the entire circle the (zeroth) Hochschild homology $HH_0(A, A)$ or, again interpreted in the appropriate derived context, the entire Hochschild homology $HH_{\bullet}(A, A)$.

We can see already from these examples that factorization algebras tell us something not only about some possible "shapes" for algebras but about some possible "shapes" for modules over algebras. It's amusing to try to work out, for example, what a LCFA on a disk $D^2$ equipped with a stratification given by both the boundary circle $S^1$ and a point $0$ on it is; this amounts to a tuple given by an $E_2$-algebra $C$ in the interior of the disk acting on an associative algebra $A$ on the circle which in turn acts on an $(A, A)$-bimodule $M$ on the point...
There's lots more to say here but this together with the links should be plenty.
