I was thinking of fields. I am doing a pretty bad math sin (atleast for the context) on not being precise and referring to the right target with “distributes over the other”. It is too foggy in my mind, I faintly recall something about being able to project + structures into * via something, but is wasn’t as straighforward and trivial than I thought.
While there migth have been at various point paid various amounts of attention on which things should be named and which should not be I doubt that it is completely reconstructible from anonymising everything and building it back again. A thing being named is somewhat sticky and will probably push back to outstay its welcome partly because of terminological inertia. A significant reason why we call things we call them is that other know what we are referring to and that it is customary.
I was thinking of fields. I am doing a pretty bad math sin (atleast for the context) on not being precise and referring to the right target with “distributes over the other”. It is too foggy in my mind, I faintly recall something about being able to project + structures into * via something, but is wasn’t as straighforward and trivial than I thought.
While there migth have been at various point paid various amounts of attention on which things should be named and which should not be I doubt that it is completely reconstructible from anonymising everything and building it back again. A thing being named is somewhat sticky and will probably push back to outstay its welcome partly because of terminological inertia. A significant reason why we call things we call them is that other know what we are referring to and that it is customary.