Transportable Monoids and Multiplicative Lattice Structure | Synapse