https://arxiv.org/abs/math/0203289
https://arxiv.org/abs/math/0204009
@fresh stratus
Think about why there are only e finite sets. Thats basically the same idea.
So turns out your batsh!t crazy idea for having a non integer cartesian product may not be completely absurd. Theres definitely a lot of leg ~~room ~~ WORK (not in a plane lmao) to be done but it could be a interesting project to construct it using these tools. The actual hard big brain work is mostly already been done which is extending cardinality.
Seems you can equate it similarly to the notion of groupoid/homotopy cardinality (but dont quote me on that mf stupid ass ho dumbass bih ass no dad having mf I just saw a baez post about it i dont understand wtf cohomology finitude even means).
Schanuel has pointed out that there are mathematically interesting categories
whose relationship to the ring of integers is analogous to the relationship
between the category of finite sets and the semi-ring of non-negative integers.
Such categories are inherently geometrical or topological, in that the mapping
to the ring of integers is a varia...
Two of the pillars of combinatorics are the notion of choosing an arbitrary
subset of a set with $n$ elements (which can be done in $2^n$ ways), and the
notion of choosing a $k$-element subset of a set with $n$ elements (which can
be done in $n \choose k$ ways). In this article I sketch the beginnings of a
theory that would import these notions ...