Free magma on set S = binary trees with leaves labelled by S. Models all distinct ways of associating products. Catalan numbers count. Foundation for studying associativity-imposing relations.
Free magma on set S = binary trees with leaves labelled by S. Models all distinct ways of associating products. Catalan numbers count. Foundation for studying associativity-imposing relations.