Building Up Hierarchical Mathematical Domains Using Functors in TH∃OREM∀
✍ Scribed by Wolfgang Windsteiger
- Book ID
- 104445654
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 861 KB
- Volume
- 23
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
✦ Synopsis
The world of mathematical domains is structured hierarchically. There are elementary domains and there are well-known techniques how to build up new domains from existing ones. Which of the domains to view as the actual basis of the hierarchy is the freedom of the mathematician who wants to work with these domains and it depends of course on the intention of their use. The strength of the concept lies, however, in the fact that a new domain is constructed from given domains by well-defined rules, which do not depend on the actually given domains but only rely on certain properties that hold in the given domains, and the construction rules guarantee certain properties for the new domain then.