Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
By the way, the point of the “Idea”-section is to give the reader an informal idea (motivation, design choice, applications) of the given concept before diving into the formal definition. Attributing the idea is certainly part of a good Idea-section, but a bare attribution by itself doesn’t really make an idea section: If there is nothing else in the Idea section, then the attribution of the definition would better fit after the actual definition.
For instance, why did Freyd settle on the term “scale”? What’s the role of this concept?
1 to 4 of 4