Thanks, there's some serious music theorists in HN, below thread has the vibe of type theory and topology/abstract algebra threads, i pondered over "non-homeomorphic embedding of chromatic circle into torus" for awhile and forgot about it:

https://news.ycombinator.com/item?id=16570489

https://medium.com/@lucas_gonze/coltrane-pitch-diagrams-e25b...