Hi, Category theoretic notions such as sum and colimit can be thought of as generalizations of the elementary arithmetic operation of adding numbers. Given that place-value notation is the syntax (in the sense of underlying structure or format) of addition, is there a category theoretic account of place-value notation? thank you, posina