thanks, i appreciate your write up! this is a good discussion of fungibility, and the desirable properties of numbers as a generalization of cardinality.
for you, then, you would say that multisets feel “intuitively prior” to sets/cardinality? if so, could you help me understand that intuition?
to me, ‘bijective correspondence’ feels like an earlier notion than counting, and counting feels like an earlier notion than multisets.
thanks, i appreciate your write up! this is a good discussion of fungibility, and the desirable properties of numbers as a generalization of cardinality.
for you, then, you would say that multisets feel “intuitively prior” to sets/cardinality? if so, could you help me understand that intuition?
to me, ‘bijective correspondence’ feels like an earlier notion than counting, and counting feels like an earlier notion than multisets.