Unnamed Structures 2: Interactiontags | structure | axiomatics
Complexes can grow indefinitely (through units addition). The operation that merges two complexes is called "interaction".
This is the only operation allowed on the complexes. Therefore the complexes can only grow in size (see counting the complexes)
- Binary operation (*): It takes two complexes as input and outputs a single complex with N-1 units (where N is the sum over the units of the two input complexes)