me the other day: hey remember how the cartesian product is basically a direct sum in the finite case, i wonder how they change in infinite cases

*one hour of set theory and axioms and descending chains later*

whew