Your description of 'thinking algebraically' is similar to how I think of it. Seems to match something in human brains that partitions thought into subjects/dom

Your description of 'thinking algebraically' is similar to how I think of it. Seems to match something in human brains that partitions thought into subjects/domains which each have their own definitions of which things are fixed and which vary. I tried building a minimalist framework around the concept, adding one other element: 'converters,' which are used to move objects between domains. I wrote on it in more detail here if anyone's curious: https://github.com/westoncb/Domain-slash-Converter https://github.com/westoncb/Domain-slash-Converter (probably not much of anything special in the source, though I think the concept may have something to it, and I've successfully built one pretty large and interesting thing on it.)