Freaks City

Consider a labeled monoid (T) acting on an information monoid (S), forming the algebraic structure ((T, \times, 1_T, S, +, 0_S, \circ)). The information monoid ((S, +, 0_S)) satisfies: Closure: (\forall x, y \in S), (x + y \in S). Associativity: (\forall x, y, z \in S), ((x + y) + z = x + (y + z)). Idantity element: (\exists 0_S \in S) such th ...