TY  - RPRT
TI  - Finite products in commutative monoids: well-definition, recursion on finite subsets, and why the empty product is $1$
AU  - João Victor Monteiros de Andrade
AU  - Leonardo Santos da Cruz
PY  - 2026
UR  - https://arxiv.org/abs/2605.08089
ID  - 2605.08089
ER  -