I was skeptical until I saw the applications, especially representing groups. Not entirely sure how distinct these ideas are from studying power sets or how to really think about what "color" means here.

It's a pretty cool abstraction. No idea how to use it but worth thinking about.