Publisher: Springer; 2004 edition (March 31, 2004)
Format: PDF / Kindle / ePub
Size: 8.9 MB
Downloadable formats: PDF
Galois connections give you the order- or structure-preserving passage among worlds of our mind's eye - and hence are inherent in hu guy considering anywhere logical or mathematical reasoning approximately cer tain hierarchical buildings is concerned. Order-theoretically, a Galois connection is given just by contrary order-inverting (or order conserving) maps whose composition yields closure operations (or one closure and one kernel operation within the order-preserving case). therefore, the "hierarchies" within the contrary worlds are reversed or transported while passing to the opposite global, and going forth and again turns into a desk bound approach whilst iterated. the good thing about such an "adjoint state of affairs" is that information regarding gadgets and relationships in a single of the 2 worlds can be used to realize new information regarding the opposite global, and vice versa. In classical Galois thought, for example, houses of permutation teams are used to review box extensions. Or, in algebraic geometry, an excellent wisdom of polynomial jewelry offers perception into the constitution of curves, surfaces and different algebraic vari eties, and conversely. additionally, limit to the "Galois-closed" or "Galois-open" items (the fastened issues of the composite maps) results in an exact "duality among maximal subworlds".
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's: Selected Contributions on Specification, Design, and Verification ... (Lecture Notes in Electrical Engineering) online