06/15/2022, 10:59 PM
Catullus, this option was already pointed back then. It is the common representation of the tropical operation. max, as as the "Litvinov-Maslov dequantization" of the bennet preaddition.
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)
