@inthehands I've collected some notes about how I stumbled into this curiosity here:
constructive-symmetry/T002_Tools_of_Math_Construction/Part03_Aggregate_Theory.md at master · constructive-symmetry/constructive-symmetry
A Philosophy of Math Education. Contribute to constructive-symmetry/constructive-symmetry development by creating an account on GitHub.
GitHub (github.com)