Transported addition on the multiplicative natural-number monoid
ID: transported-addition-on-the-multiplicative-natural-number-monoid
For a multiplicative monoid automorphism fixing , define . This transports a semiring structure to the fixed underlying multiplication, hence a commutative-monoid enrichment on its one-object category. Swapping prime with an odd prime gives . Infinitely many such primes therefore give infinitely many distinct additions, although the transported enriched categories are isomorphic.
New to topics? Read the docs here!