l relations and galois triangles
play

L-relations and Galois triangles Basic notions Adjoint product - PowerPoint PPT Presentation

Oct 28, 2023 •423 likes •2.13k views

L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras L-relations and Galois triangles Basic notions Adjoint product Symmetry Commutativity and associativity

  1. � ❼ ➁ � ☎ ➌ ❙ ❼ ➁➑ ✂ � ③ ❃ ❇ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Remark Preliminaries ▲ Let L and M be posets and let f ✂ L � M and g ✂ M � L be Galois connections Extended-order maps. If f Ú g, then: algebras Basic notions ▲ f preserves existing sups; Adjoint product Symmetry ▲ g preserves existing infs. Commutativity and associativity ▲ Let L be a complete lattice, M a poset and let f ✂ L � M be a L-relations Relation algebras map that preserves sups.Then the function MV-relation algebras Dedekind categories g ✂ M � L, y ③ � g ❼ y ➁ � ✝ ➌ x ❃ L ❙ f ❼ x ➁ ❇ y ➑ Extended-order algebras and L-relations is the unique right adjoint of f . L-Galois triangles ▲ Let L be a poset, M a complete lattice and let g ✂ M � L be Weak L-Galois triangle a map that preserves infs. Symmetrical L-Galois triangle Strong L-Galois triangle 4 / 41

  2. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Remark Preliminaries ▲ Let L and M be posets and let f ✂ L � M and g ✂ M � L be Galois connections Extended-order maps. If f Ú g, then: algebras Basic notions ▲ f preserves existing sups; Adjoint product Symmetry ▲ g preserves existing infs. Commutativity and associativity ▲ Let L be a complete lattice, M a poset and let f ✂ L � M be a L-relations Relation algebras map that preserves sups.Then the function MV-relation algebras Dedekind categories g ✂ M � L, y ③ � g ❼ y ➁ � ✝ ➌ x ❃ L ❙ f ❼ x ➁ ❇ y ➑ Extended-order algebras and L-relations is the unique right adjoint of f . L-Galois triangles ▲ Let L be a poset, M a complete lattice and let g ✂ M � L be Weak L-Galois triangle a map that preserves infs.Then the function Symmetrical L-Galois triangle Strong L-Galois f ✂ L � M, x ③ � f ❼ x ➁ � ☎ ➌ y ❃ M ❙ x ❇ g ❼ y ➁➑ triangle is the unique left adjoint of g. 4 / 41

  3. ❼ ➁ � ✝ ➌ ❃ ❙ ❇ ❼ ➁➑ ✂ � ③ � � ✆ ▲ � ✆ � ✆ � ✆ ❼ ✝ ➁ � ☎ ❼ ➁ ❜ ▲ ✂ ▲ � ❼ ✝ ➁ � ☎ ❼ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras ▲ Let L and M be posets and let f ✂ L � M and g ✂ M � L be Basic notions maps. Then Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 5 / 41

  4. ❼ ➁ � ✝ ➌ ❃ ❙ ❇ ❼ ➁➑ ✂ � ③ � � ✆ � ✆ ❼ ✝ ➁ � ☎ ❼ ➁ ❜ ▲ ✂ ▲ � ❼ ✝ ➁ � ☎ ❼ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras ▲ Let L and M be posets and let f ✂ L � M and g ✂ M � L be Basic notions maps. Then Adjoint product Symmetry ▲ � g , f ✆ iff � f , g ✆ is; Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 5 / 41

  5. ❼ ➁ � ✝ ➌ ❃ ❙ ❇ ❼ ➁➑ ✂ � ③ � � ✆ ✂ ▲ � ❼ ✝ ➁ � ☎ ❼ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras ▲ Let L and M be posets and let f ✂ L � M and g ✂ M � L be Basic notions maps. Then Adjoint product Symmetry ▲ � g , f ✆ iff � f , g ✆ is; Commutativity and associativity ▲ if � f , g ✆ and A ❜ L has a supremum, then f ❼ ✝ A ➁ � ☎ f ❼ A ➁ . L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 5 / 41

  6. ❼ ➁ � ✝ ➌ ❃ ❙ ❇ ❼ ➁➑ ✂ � ③ � � ✆ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras ▲ Let L and M be posets and let f ✂ L � M and g ✂ M � L be Basic notions maps. Then Adjoint product Symmetry ▲ � g , f ✆ iff � f , g ✆ is; Commutativity and associativity ▲ if � f , g ✆ and A ❜ L has a supremum, then f ❼ ✝ A ➁ � ☎ f ❼ A ➁ . L-relations Relation algebras ▲ Let L be a complete lattice, M a poset and let f ✂ L � M be a MV-relation algebras Dedekind categories function such that f ❼ ✝ A ➁ � ☎ f ❼ A ➁ . Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 5 / 41

  7. ❼ ➁ � ✝ ➌ ❃ ❙ ❇ ❼ ➁➑ ✂ � ③ � � ✆ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras ▲ Let L and M be posets and let f ✂ L � M and g ✂ M � L be Basic notions maps. Then Adjoint product Symmetry ▲ � g , f ✆ iff � f , g ✆ is; Commutativity and associativity ▲ if � f , g ✆ and A ❜ L has a supremum, then f ❼ ✝ A ➁ � ☎ f ❼ A ➁ . L-relations Relation algebras ▲ Let L be a complete lattice, M a poset and let f ✂ L � M be a MV-relation algebras Dedekind categories function such that f ❼ ✝ A ➁ � ☎ f ❼ A ➁ . Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 5 / 41

  8. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras ▲ Let L and M be posets and let f ✂ L � M and g ✂ M � L be Basic notions maps. Then Adjoint product Symmetry ▲ � g , f ✆ iff � f , g ✆ is; Commutativity and associativity ▲ if � f , g ✆ and A ❜ L has a supremum, then f ❼ ✝ A ➁ � ☎ f ❼ A ➁ . L-relations Relation algebras ▲ Let L be a complete lattice, M a poset and let f ✂ L � M be a MV-relation algebras Dedekind categories function such that f ❼ ✝ A ➁ � ☎ f ❼ A ➁ .Then the function Extended-order algebras and g ✂ M � L , y ③ � g ❼ y ➁ � ✝ ➌ x ❃ L ❙ y ❇ f ❼ x ➁➑ L-relations L-Galois triangles is the unique function such that � f , g ✆ . Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 5 / 41

  9. ▲ ▲ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras ▲ C. Guido, P. Toto: Extended-order algebras , Journal of Basic notions Adjoint product Symmetry Applied Logic, 6 (4) (2008), 609-626. Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 6 / 41

  10. ▲ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras ▲ C. Guido, P. Toto: Extended-order algebras , Journal of Basic notions Adjoint product Symmetry Applied Logic, 6 (4) (2008), 609-626. Commutativity and associativity ▲ H. Rasiowa: An Algebraic Approach to Non-Classical Logics, L-relations Studies in Logics and the Foundations of Mathematics , Relation algebras MV-relation algebras vol.78, North-Holland, Amsterdam, 1974. Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 6 / 41

  11. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras ▲ C. Guido, P. Toto: Extended-order algebras , Journal of Basic notions Adjoint product Symmetry Applied Logic, 6 (4) (2008), 609-626. Commutativity and associativity ▲ H. Rasiowa: An Algebraic Approach to Non-Classical Logics, L-relations Studies in Logics and the Foundations of Mathematics , Relation algebras MV-relation algebras vol.78, North-Holland, Amsterdam, 1974. Dedekind categories Extended-order ▲ M.E.D.S., C. Guido: Associativity, commutativity and algebras and L-relations symmetry in residuated structures , (submitted). L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 6 / 41

  12. ▲ ❼ ➁ � ➋ � ➋ ▲ ❼ ➁ � ➋ � ▲ ❼ ➁ � ➋ � ➋ ✟ � � � ▲ ❼ ➁ � ➋ � ➋ ✟ � ➋ � � � L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras Let L be a non-empty set, � ✂ L ✕ L � L a binary operation and ➋ a Basic notions Adjoint product fixed element of L. The triple L � ❼ L , � , ➋ ➁ is a weak Symmetry Commutativity and extended-order algebra, shortly w-eo algebra, if associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 7 / 41

  13. ▲ ❼ ➁ � ➋ � ▲ ❼ ➁ � ➋ � ➋ ✟ � � � ▲ ❼ ➁ � ➋ � ➋ ✟ � ➋ � � � L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras Let L be a non-empty set, � ✂ L ✕ L � L a binary operation and ➋ a Basic notions Adjoint product fixed element of L. The triple L � ❼ L , � , ➋ ➁ is a weak Symmetry Commutativity and extended-order algebra, shortly w-eo algebra, if associativity ▲ ❼ o 1 ➁ a � ➋ � ➋ (upper bound condition); L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 7 / 41

  14. ▲ ❼ ➁ � ➋ � ➋ ✟ � � � ▲ ❼ ➁ � ➋ � ➋ ✟ � ➋ � � � L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras Let L be a non-empty set, � ✂ L ✕ L � L a binary operation and ➋ a Basic notions Adjoint product fixed element of L. The triple L � ❼ L , � , ➋ ➁ is a weak Symmetry Commutativity and extended-order algebra, shortly w-eo algebra, if associativity ▲ ❼ o 1 ➁ a � ➋ � ➋ (upper bound condition); L-relations Relation algebras ▲ ❼ o 2 ➁ a � a � ➋ (reflexivity condition); MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 7 / 41

  15. ▲ ❼ ➁ � ➋ � ➋ ✟ � ➋ � � � L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras Let L be a non-empty set, � ✂ L ✕ L � L a binary operation and ➋ a Basic notions Adjoint product fixed element of L. The triple L � ❼ L , � , ➋ ➁ is a weak Symmetry Commutativity and extended-order algebra, shortly w-eo algebra, if associativity ▲ ❼ o 1 ➁ a � ➋ � ➋ (upper bound condition); L-relations Relation algebras ▲ ❼ o 2 ➁ a � a � ➋ (reflexivity condition); MV-relation algebras Dedekind categories Extended-order ▲ ❼ o 3 ➁ a � b � ➋ and b � a � ➋ ✟ a � b (antisymmetry algebras and L-relations condition); L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 7 / 41

  16. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras Let L be a non-empty set, � ✂ L ✕ L � L a binary operation and ➋ a Basic notions Adjoint product fixed element of L. The triple L � ❼ L , � , ➋ ➁ is a weak Symmetry Commutativity and extended-order algebra, shortly w-eo algebra, if associativity ▲ ❼ o 1 ➁ a � ➋ � ➋ (upper bound condition); L-relations Relation algebras ▲ ❼ o 2 ➁ a � a � ➋ (reflexivity condition); MV-relation algebras Dedekind categories Extended-order ▲ ❼ o 3 ➁ a � b � ➋ and b � a � ➋ ✟ a � b (antisymmetry algebras and L-relations condition); L-Galois triangles Weak L-Galois ▲ ❼ o 4 ➁ a � b � ➋ and b � c � ➋ ✟ a � c � ➋ (weak transitivity triangle Symmetrical L-Galois condition). triangle Strong L-Galois triangle 7 / 41

  17. ▲ ❼ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � ▲ ❼ ➐ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � ▲ ❇ � � ➋ ❇ � ➋ ❼ ❇ ➁ ❼ ❇ ➁ ➋ ▲ ❼ � ➋ ➁ � ✂ ✕ � ➋ ✔ � ❇ � ❇ ❼ � ➋ ➁ ❼ ➁ ❼ ➁ ❼ ➁ L-relations and Galois triangles Proposition M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 8 / 41

  18. ▲ ❼ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � ▲ ❼ ➐ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � ❼ ❇ ➁ ➋ ▲ ❼ � ➋ ➁ � ✂ ✕ � ➋ ✔ � ❇ � ❇ ❼ � ➋ ➁ ❼ ➁ ❼ ➁ ❼ ➁ L-relations and Galois triangles Proposition M.Emilia Della Stella , Cosimo Guido ▲ The relation ❇ determined by the operation � , by means of Preliminaries the equivalence Galois connections Extended-order a ❇ b iff a � b � ➋ algebras Basic notions is an order relation in L. Moreover ➋ is a greatest element in Adjoint product Symmetry ❼ L , ❇ ➁ . Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 8 / 41

  19. ▲ ❼ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � ▲ ❼ ➐ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � ❼ � ➋ ➁ ❼ ➁ ❼ ➁ ❼ ➁ L-relations and Galois triangles Proposition M.Emilia Della Stella , Cosimo Guido ▲ The relation ❇ determined by the operation � , by means of Preliminaries the equivalence Galois connections Extended-order a ❇ b iff a � b � ➋ algebras Basic notions is an order relation in L. Moreover ➋ is a greatest element in Adjoint product Symmetry ❼ L , ❇ ➁ . Commutativity and associativity ▲ Conversely, if ❼ L , ❇ ➁ is a poset with a greatest element ➋ and L-relations Relation algebras � ✂ L ✕ L � L extends ❇ , i.e. a � b � ➋ ✔ a ❇ b, then ❼ L , � , ➋ ➁ MV-relation algebras Dedekind categories is a w-eo algebra. Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 8 / 41

  20. ▲ ❼ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � ▲ ❼ ➐ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � ❼ � ➋ ➁ ❼ ➁ ❼ ➁ ❼ ➁ L-relations and Galois triangles Proposition M.Emilia Della Stella , Cosimo Guido ▲ The relation ❇ determined by the operation � , by means of Preliminaries the equivalence Galois connections Extended-order a ❇ b iff a � b � ➋ algebras Basic notions is an order relation in L. Moreover ➋ is a greatest element in Adjoint product Symmetry ❼ L , ❇ ➁ . Commutativity and associativity ▲ Conversely, if ❼ L , ❇ ➁ is a poset with a greatest element ➋ and L-relations Relation algebras � ✂ L ✕ L � L extends ❇ , i.e. a � b � ➋ ✔ a ❇ b, then ❼ L , � , ➋ ➁ MV-relation algebras Dedekind categories is a w-eo algebra. Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 8 / 41

  21. ▲ ❼ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � ▲ ❼ ➐ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � L-relations and Galois triangles Proposition M.Emilia Della Stella , Cosimo Guido ▲ The relation ❇ determined by the operation � , by means of Preliminaries the equivalence Galois connections Extended-order a ❇ b iff a � b � ➋ algebras Basic notions is an order relation in L. Moreover ➋ is a greatest element in Adjoint product Symmetry ❼ L , ❇ ➁ . Commutativity and associativity ▲ Conversely, if ❼ L , ❇ ➁ is a poset with a greatest element ➋ and L-relations Relation algebras � ✂ L ✕ L � L extends ❇ , i.e. a � b � ➋ ✔ a ❇ b, then ❼ L , � , ➋ ➁ MV-relation algebras Dedekind categories is a w-eo algebra. Extended-order algebras and L-relations L-Galois triangles Definition Weak L-Galois triangle ❼ L , � , ➋ ➁ is an extended-order algebra, shortly eo algebra, if it Symmetrical L-Galois triangle satisfies the axioms ❼ o 1 ➁ , ❼ o 2 ➁ , ❼ o 3 ➁ and Strong L-Galois triangle 8 / 41

  22. ▲ ❼ ➐ ➁ � ➋ ✟ ❼ � ➁ � ❼ � ➁ � ➋ � L-relations and Galois triangles Proposition M.Emilia Della Stella , Cosimo Guido ▲ The relation ❇ determined by the operation � , by means of Preliminaries the equivalence Galois connections Extended-order a ❇ b iff a � b � ➋ algebras Basic notions is an order relation in L. Moreover ➋ is a greatest element in Adjoint product Symmetry ❼ L , ❇ ➁ . Commutativity and associativity ▲ Conversely, if ❼ L , ❇ ➁ is a poset with a greatest element ➋ and L-relations Relation algebras � ✂ L ✕ L � L extends ❇ , i.e. a � b � ➋ ✔ a ❇ b, then ❼ L , � , ➋ ➁ MV-relation algebras Dedekind categories is a w-eo algebra. Extended-order algebras and L-relations L-Galois triangles Definition Weak L-Galois triangle ❼ L , � , ➋ ➁ is an extended-order algebra, shortly eo algebra, if it Symmetrical L-Galois triangle satisfies the axioms ❼ o 1 ➁ , ❼ o 2 ➁ , ❼ o 3 ➁ and Strong L-Galois triangle ▲ ❼ o 5 ➁ a � b � ➋ ✟ ❼ c � a ➁ � ❼ c � b ➁ � ➋ (weak isotonic condition in the second variable); 8 / 41

  23. L-relations and Galois triangles Proposition M.Emilia Della Stella , Cosimo Guido ▲ The relation ❇ determined by the operation � , by means of Preliminaries the equivalence Galois connections Extended-order a ❇ b iff a � b � ➋ algebras Basic notions is an order relation in L. Moreover ➋ is a greatest element in Adjoint product Symmetry ❼ L , ❇ ➁ . Commutativity and associativity ▲ Conversely, if ❼ L , ❇ ➁ is a poset with a greatest element ➋ and L-relations Relation algebras � ✂ L ✕ L � L extends ❇ , i.e. a � b � ➋ ✔ a ❇ b, then ❼ L , � , ➋ ➁ MV-relation algebras Dedekind categories is a w-eo algebra. Extended-order algebras and L-relations L-Galois triangles Definition Weak L-Galois triangle ❼ L , � , ➋ ➁ is an extended-order algebra, shortly eo algebra, if it Symmetrical L-Galois triangle satisfies the axioms ❼ o 1 ➁ , ❼ o 2 ➁ , ❼ o 3 ➁ and Strong L-Galois triangle ▲ ❼ o 5 ➁ a � b � ➋ ✟ ❼ c � a ➁ � ❼ c � b ➁ � ➋ (weak isotonic condition in the second variable); ▲ ❼ o ➐ 5 ➁ a � b � ➋ ✟ ❼ b � c ➁ � ❼ a � c ➁ � ➋ (weak antitonic condition in the first variable). 8 / 41

  24. ▲ ▲ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Any one of the algebras defined above is said to be complete if L Galois connections Extended-order with the order induced by � is a complete lattice. algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 9 / 41

  25. ▲ ▲ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Any one of the algebras defined above is said to be complete if L Galois connections Extended-order with the order induced by � is a complete lattice. algebras Basic notions Adjoint product Symmetry Commutativity and associativity From now, we consider only complete structures and we denote L-relations Relation algebras them with the obvious notation ( w -) ceo algebras. MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 9 / 41

  26. ▲ ▲ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Any one of the algebras defined above is said to be complete if L Galois connections Extended-order with the order induced by � is a complete lattice. algebras Basic notions Adjoint product Symmetry Commutativity and associativity From now, we consider only complete structures and we denote L-relations Relation algebras them with the obvious notation ( w -) ceo algebras. MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois Remark triangle Symmetrical L-Galois The completeness requirement is triangle Strong L-Galois triangle 9 / 41

  27. ▲ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Any one of the algebras defined above is said to be complete if L Galois connections Extended-order with the order induced by � is a complete lattice. algebras Basic notions Adjoint product Symmetry Commutativity and associativity From now, we consider only complete structures and we denote L-relations Relation algebras them with the obvious notation ( w -) ceo algebras. MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois Remark triangle Symmetrical L-Galois The completeness requirement is triangle Strong L-Galois ▲ not restrictive for eo algebras; triangle 9 / 41

  28. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Any one of the algebras defined above is said to be complete if L Galois connections Extended-order with the order induced by � is a complete lattice. algebras Basic notions Adjoint product Symmetry Commutativity and associativity From now, we consider only complete structures and we denote L-relations Relation algebras them with the obvious notation ( w -) ceo algebras. MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois Remark triangle Symmetrical L-Galois The completeness requirement is triangle Strong L-Galois ▲ not restrictive for eo algebras; triangle ▲ restrictive for w-eo algebras. 9 / 41

  29. ▲ ❼ ➁ ✟ ❼ ➁ ▲ ❼ ➁ ✟ ❼ ➐ ➁ ▲ ❼ ➁ ❼ ➁ ✔ ❼ ➁ ✟ ❼ ➁ ❼ ➐ ➁ ▲ ❼ � ➋ ➁ ❼ ➁ � ☎ ❼ � ➁ � ☎ ▲ ❼ � ➋ ➁ ❼ ➁ ❼ ✝ ➁ � � ☎ ❼ � ➁ ▲ ❼ � ➋ ➁ ❼ ➁ ✝ � ☎ ❼ ➁ � ☎ � L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Let ❼ L , � , ➋ ➁ be a w-ceo algebra. Galois connections Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 10 / 41

  30. ▲ ❼ ➁ ✟ ❼ ➁ ▲ ❼ ➁ ✟ ❼ ➐ ➁ ▲ ❼ ➁ ❼ ➁ ✔ ❼ ➁ ✟ ❼ ➁ ❼ ➐ ➁ ▲ ❼ � ➋ ➁ ❼ ➁ ❼ ✝ ➁ � � ☎ ❼ � ➁ ▲ ❼ � ➋ ➁ ❼ ➁ ✝ � ☎ ❼ ➁ � ☎ � L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Let ❼ L , � , ➋ ➁ be a w-ceo algebra. Galois connections Extended-order ▲ ❼ L , � , ➋ ➁ is right-distributive if it satisfies algebras Basic notions ❼ d r ➁ a � ☎ B � ☎ ❼ a � B ➁ . Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 10 / 41

  31. ▲ ❼ ➁ ✟ ❼ ➁ ▲ ❼ ➁ ✟ ❼ ➐ ➁ ▲ ❼ ➁ ❼ ➁ ✔ ❼ ➁ ✟ ❼ ➁ ❼ ➐ ➁ ▲ ❼ � ➋ ➁ ❼ ➁ ✝ � ☎ ❼ ➁ � ☎ � L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Let ❼ L , � , ➋ ➁ be a w-ceo algebra. Galois connections Extended-order ▲ ❼ L , � , ➋ ➁ is right-distributive if it satisfies algebras Basic notions ❼ d r ➁ a � ☎ B � ☎ ❼ a � B ➁ . Adjoint product Symmetry ▲ ❼ L , � , ➋ ➁ is left-distributive if it satisfies Commutativity and associativity ❼ d l ➁ ❼ ✝ A ➁ � b � ☎ ❼ A � b ➁ . L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 10 / 41

  32. ▲ ❼ ➁ ✟ ❼ ➁ ▲ ❼ ➁ ✟ ❼ ➐ ➁ ▲ ❼ ➁ ❼ ➁ ✔ ❼ ➁ ✟ ❼ ➁ ❼ ➐ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Let ❼ L , � , ➋ ➁ be a w-ceo algebra. Galois connections Extended-order ▲ ❼ L , � , ➋ ➁ is right-distributive if it satisfies algebras Basic notions ❼ d r ➁ a � ☎ B � ☎ ❼ a � B ➁ . Adjoint product Symmetry ▲ ❼ L , � , ➋ ➁ is left-distributive if it satisfies Commutativity and associativity ❼ d l ➁ ❼ ✝ A ➁ � b � ☎ ❼ A � b ➁ . L-relations Relation algebras ▲ ❼ L , � , ➋ ➁ is distributive if it satisfies MV-relation algebras Dedekind categories ❼ d ➁ ✝ A � ☎ B � ☎ ❼ A � B ➁ . Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 10 / 41

  33. ▲ ❼ ➁ ✟ ❼ ➐ ➁ ▲ ❼ ➁ ❼ ➁ ✔ ❼ ➁ ✟ ❼ ➁ ❼ ➐ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Let ❼ L , � , ➋ ➁ be a w-ceo algebra. Galois connections Extended-order ▲ ❼ L , � , ➋ ➁ is right-distributive if it satisfies algebras Basic notions ❼ d r ➁ a � ☎ B � ☎ ❼ a � B ➁ . Adjoint product Symmetry ▲ ❼ L , � , ➋ ➁ is left-distributive if it satisfies Commutativity and associativity ❼ d l ➁ ❼ ✝ A ➁ � b � ☎ ❼ A � b ➁ . L-relations Relation algebras ▲ ❼ L , � , ➋ ➁ is distributive if it satisfies MV-relation algebras Dedekind categories ❼ d ➁ ✝ A � ☎ B � ☎ ❼ A � B ➁ . Extended-order algebras and L-relations L-Galois triangles Remark Weak L-Galois triangle ▲ ❼ d r ➁ ✟ ❼ o 5 ➁ ; Symmetrical L-Galois triangle Strong L-Galois triangle 10 / 41

  34. ▲ ❼ ➁ ❼ ➁ ✔ ❼ ➁ ✟ ❼ ➁ ❼ ➐ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Let ❼ L , � , ➋ ➁ be a w-ceo algebra. Galois connections Extended-order ▲ ❼ L , � , ➋ ➁ is right-distributive if it satisfies algebras Basic notions ❼ d r ➁ a � ☎ B � ☎ ❼ a � B ➁ . Adjoint product Symmetry ▲ ❼ L , � , ➋ ➁ is left-distributive if it satisfies Commutativity and associativity ❼ d l ➁ ❼ ✝ A ➁ � b � ☎ ❼ A � b ➁ . L-relations Relation algebras ▲ ❼ L , � , ➋ ➁ is distributive if it satisfies MV-relation algebras Dedekind categories ❼ d ➁ ✝ A � ☎ B � ☎ ❼ A � B ➁ . Extended-order algebras and L-relations L-Galois triangles Remark Weak L-Galois triangle ▲ ❼ d r ➁ ✟ ❼ o 5 ➁ ; Symmetrical L-Galois triangle Strong L-Galois ▲ ❼ d l ➁ ✟ ❼ o ➐ 5 ➁ ; triangle 10 / 41

  35. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Definition Preliminaries Let ❼ L , � , ➋ ➁ be a w-ceo algebra. Galois connections Extended-order ▲ ❼ L , � , ➋ ➁ is right-distributive if it satisfies algebras Basic notions ❼ d r ➁ a � ☎ B � ☎ ❼ a � B ➁ . Adjoint product Symmetry ▲ ❼ L , � , ➋ ➁ is left-distributive if it satisfies Commutativity and associativity ❼ d l ➁ ❼ ✝ A ➁ � b � ☎ ❼ A � b ➁ . L-relations Relation algebras ▲ ❼ L , � , ➋ ➁ is distributive if it satisfies MV-relation algebras Dedekind categories ❼ d ➁ ✝ A � ☎ B � ☎ ❼ A � B ➁ . Extended-order algebras and L-relations L-Galois triangles Remark Weak L-Galois triangle ▲ ❼ d r ➁ ✟ ❼ o 5 ➁ ; Symmetrical L-Galois triangle Strong L-Galois ▲ ❼ d l ➁ ✟ ❼ o ➐ 5 ➁ ; triangle ▲ ❼ d r ➁ + ❼ d l ➁ ✔ ❼ d ➁ ✟ ❼ o 5 ➁ + ❼ o ➐ 5 ➁ . 10 / 41

  36. ▲ ❛ ❛ � ❇ ✔ ❇ � ▲ ✂ ❼ ➁ � ☎ � ✭ � ❼ ➁ ❛ ➋ � ▲ ❛ ➊ � ➊ ❛ � ➊ ▲ ❛ ❼ ✝ ➁ � ✝ ❼ ❛ ➁ ▲ ❛ ❼ ❛ ➁ ① ❼ ❛ ➁ ❛ ❛ ❛ ▲ ① � ☎ ➌ ❃ ❙ � ➑ ❛ ❇ L-relations and Galois Definition triangles M.Emilia Della Stella , Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The adjoint Cosimo Guido product of L is the operation ❛ ✂ L ✕ L � L defined by Preliminaries Galois connections Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 11 / 41

  37. ▲ ❛ ❛ � ❇ ✔ ❇ � ▲ ✂ ❼ ➁ � ☎ � ✭ � ❼ ➁ ❛ ➋ � ▲ ❛ ➊ � ➊ ❛ � ➊ ▲ ❛ ❼ ✝ ➁ � ✝ ❼ ❛ ➁ ▲ ❛ ❼ ❛ ➁ ① ❼ ❛ ➁ ❛ ❛ ❛ ▲ ① L-relations and Galois Definition triangles M.Emilia Della Stella , Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The adjoint Cosimo Guido product of L is the operation ❛ ✂ L ✕ L � L defined by Preliminaries Galois connections a ❛ b � ☎ ➌ t ❃ L ❙ b ❇ a � t ➑ . Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 11 / 41

  38. ❛ ➋ � ▲ ❛ ➊ � ➊ ❛ � ➊ ▲ ❛ ❼ ✝ ➁ � ✝ ❼ ❛ ➁ ▲ ❛ ❼ ❛ ➁ ① ❼ ❛ ➁ ❛ ❛ ❛ ▲ ① ▲ ✂ ❼ ➁ � ☎ � ✭ � ❼ ➁ L-relations and Galois Definition triangles M.Emilia Della Stella , Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The adjoint Cosimo Guido product of L is the operation ❛ ✂ L ✕ L � L defined by Preliminaries Galois connections a ❛ b � ☎ ➌ t ❃ L ❙ b ❇ a � t ➑ . Extended-order algebras Basic notions Adjoint product Symmetry Remark Commutativity and associativity ▲ ❛ and � form an adjoint pair, hence x ❛ y ❇ z ✔ y ❇ x � z. L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 11 / 41

  39. ❛ ➋ � ▲ ❛ ➊ � ➊ ❛ � ➊ ▲ ❛ ❼ ✝ ➁ � ✝ ❼ ❛ ➁ ▲ ❛ ❼ ❛ ➁ ① ❼ ❛ ➁ ❛ ❛ ❛ ▲ ① L-relations and Galois Definition triangles M.Emilia Della Stella , Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The adjoint Cosimo Guido product of L is the operation ❛ ✂ L ✕ L � L defined by Preliminaries Galois connections a ❛ b � ☎ ➌ t ❃ L ❙ b ❇ a � t ➑ . Extended-order algebras Basic notions Adjoint product Symmetry Remark Commutativity and associativity ▲ ❛ and � form an adjoint pair, hence x ❛ y ❇ z ✔ y ❇ x � z. L-relations Relation algebras ▲ The above Definition is justified by adjunction applied to the MV-relation algebras Dedekind categories function g a ✂ L � L, y ✭ g a ❼ y ➁ � a � y that preserves ☎ , Extended-order algebras and L-relations because the condition ❼ d r ➁ is assumed on L; L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 11 / 41

  40. ❛ ➋ � ▲ ❛ ➊ � ➊ ❛ � ➊ ▲ ❛ ❼ ✝ ➁ � ✝ ❼ ❛ ➁ ▲ ❛ ❼ ❛ ➁ ① ❼ ❛ ➁ ❛ ❛ ❛ ▲ ① L-relations and Galois Definition triangles M.Emilia Della Stella , Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The adjoint Cosimo Guido product of L is the operation ❛ ✂ L ✕ L � L defined by Preliminaries Galois connections a ❛ b � ☎ ➌ t ❃ L ❙ b ❇ a � t ➑ . Extended-order algebras Basic notions Adjoint product Symmetry Remark Commutativity and associativity ▲ ❛ and � form an adjoint pair, hence x ❛ y ❇ z ✔ y ❇ x � z. L-relations Relation algebras ▲ The above Definition is justified by adjunction applied to the MV-relation algebras Dedekind categories function g a ✂ L � L, y ✭ g a ❼ y ➁ � a � y that preserves ☎ , Extended-order algebras and L-relations because the condition ❼ d r ➁ is assumed on L; L-Galois triangles Weak L-Galois triangle Proposition Symmetrical L-Galois triangle Strong L-Galois triangle 11 / 41

  41. ❛ ➊ � ➊ ❛ � ➊ ▲ ❛ ❼ ✝ ➁ � ✝ ❼ ❛ ➁ ▲ ❛ ❼ ❛ ➁ ① ❼ ❛ ➁ ❛ ❛ ❛ ▲ ① L-relations and Galois Definition triangles M.Emilia Della Stella , Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The adjoint Cosimo Guido product of L is the operation ❛ ✂ L ✕ L � L defined by Preliminaries Galois connections a ❛ b � ☎ ➌ t ❃ L ❙ b ❇ a � t ➑ . Extended-order algebras Basic notions Adjoint product Symmetry Remark Commutativity and associativity ▲ ❛ and � form an adjoint pair, hence x ❛ y ❇ z ✔ y ❇ x � z. L-relations Relation algebras ▲ The above Definition is justified by adjunction applied to the MV-relation algebras Dedekind categories function g a ✂ L � L, y ✭ g a ❼ y ➁ � a � y that preserves ☎ , Extended-order algebras and L-relations because the condition ❼ d r ➁ is assumed on L; L-Galois triangles Weak L-Galois triangle Proposition Symmetrical L-Galois triangle Strong L-Galois triangle ▲ a ❛ ➋ � a; 11 / 41

  42. ❛ ❼ ✝ ➁ � ✝ ❼ ❛ ➁ ▲ ❛ ❼ ❛ ➁ ① ❼ ❛ ➁ ❛ ❛ ❛ ▲ ① L-relations and Galois Definition triangles M.Emilia Della Stella , Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The adjoint Cosimo Guido product of L is the operation ❛ ✂ L ✕ L � L defined by Preliminaries Galois connections a ❛ b � ☎ ➌ t ❃ L ❙ b ❇ a � t ➑ . Extended-order algebras Basic notions Adjoint product Symmetry Remark Commutativity and associativity ▲ ❛ and � form an adjoint pair, hence x ❛ y ❇ z ✔ y ❇ x � z. L-relations Relation algebras ▲ The above Definition is justified by adjunction applied to the MV-relation algebras Dedekind categories function g a ✂ L � L, y ✭ g a ❼ y ➁ � a � y that preserves ☎ , Extended-order algebras and L-relations because the condition ❼ d r ➁ is assumed on L; L-Galois triangles Weak L-Galois triangle Proposition Symmetrical L-Galois triangle Strong L-Galois triangle ▲ a ❛ ➋ � a; ▲ a ❛ ➊ � ➊ ❛ a � ➊ ; 11 / 41

  43. ❛ ❼ ❛ ➁ ① ❼ ❛ ➁ ❛ ❛ ❛ ▲ ① L-relations and Galois Definition triangles M.Emilia Della Stella , Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The adjoint Cosimo Guido product of L is the operation ❛ ✂ L ✕ L � L defined by Preliminaries Galois connections a ❛ b � ☎ ➌ t ❃ L ❙ b ❇ a � t ➑ . Extended-order algebras Basic notions Adjoint product Symmetry Remark Commutativity and associativity ▲ ❛ and � form an adjoint pair, hence x ❛ y ❇ z ✔ y ❇ x � z. L-relations Relation algebras ▲ The above Definition is justified by adjunction applied to the MV-relation algebras Dedekind categories function g a ✂ L � L, y ✭ g a ❼ y ➁ � a � y that preserves ☎ , Extended-order algebras and L-relations because the condition ❼ d r ➁ is assumed on L; L-Galois triangles Weak L-Galois triangle Proposition Symmetrical L-Galois triangle Strong L-Galois triangle ▲ a ❛ ➋ � a; ▲ a ❛ ➊ � ➊ ❛ a � ➊ ; ▲ a ❛ ❼ ✝ B ➁ � ✝ ❼ a ❛ B ➁ ; 11 / 41

  44. L-relations and Galois Definition triangles M.Emilia Della Stella , Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The adjoint Cosimo Guido product of L is the operation ❛ ✂ L ✕ L � L defined by Preliminaries Galois connections a ❛ b � ☎ ➌ t ❃ L ❙ b ❇ a � t ➑ . Extended-order algebras Basic notions Adjoint product Symmetry Remark Commutativity and associativity ▲ ❛ and � form an adjoint pair, hence x ❛ y ❇ z ✔ y ❇ x � z. L-relations Relation algebras ▲ The above Definition is justified by adjunction applied to the MV-relation algebras Dedekind categories function g a ✂ L � L, y ✭ g a ❼ y ➁ � a � y that preserves ☎ , Extended-order algebras and L-relations because the condition ❼ d r ➁ is assumed on L; L-Galois triangles Weak L-Galois triangle Proposition Symmetrical L-Galois triangle Strong L-Galois triangle ▲ a ❛ ➋ � a; ▲ a ❛ ➊ � ➊ ❛ a � ➊ ; ▲ a ❛ ❼ ✝ B ➁ � ✝ ❼ a ❛ B ➁ ; ▲ a ❛ b ① b ❛ a and a ❛ ❼ b ❛ c ➁ ① ❼ a ❛ b ➁ ❛ c, in general. 11 / 41

  45. ▲ � ➝ ▲ ❼ ➝ ➋ ➁ ❼ � ➋ ➁ ▲ ➜ ❼ ➝ ➋ ➁ ▲ ❇ ➝ ✔ ❇ � � ➝ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras A w-ceo algebra ❼ L , � , ➋ ➁ is symmetrical if Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 12 / 41

  46. ▲ � ➝ ▲ ❼ ➝ ➋ ➁ ❼ � ➋ ➁ ▲ ❇ ➝ ✔ ❇ � � ➝ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras A w-ceo algebra ❼ L , � , ➋ ➁ is symmetrical if Basic notions Adjoint product Symmetry ▲ ➜ ❼ L , ➝ , ➋ ➁ w-ceo algebra, with the same induced order; Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 12 / 41

  47. ▲ � ➝ ▲ ❼ ➝ ➋ ➁ ❼ � ➋ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras A w-ceo algebra ❼ L , � , ➋ ➁ is symmetrical if Basic notions Adjoint product Symmetry ▲ ➜ ❼ L , ➝ , ➋ ➁ w-ceo algebra, with the same induced order; Commutativity and associativity ▲ y ❇ x ➝ z ✔ x ❇ y � z (i.e.[ � , ➝ ]). L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 12 / 41

  48. ▲ � ➝ ▲ ❼ ➝ ➋ ➁ ❼ � ➋ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras A w-ceo algebra ❼ L , � , ➋ ➁ is symmetrical if Basic notions Adjoint product Symmetry ▲ ➜ ❼ L , ➝ , ➋ ➁ w-ceo algebra, with the same induced order; Commutativity and associativity ▲ y ❇ x ➝ z ✔ x ❇ y � z (i.e.[ � , ➝ ]). L-relations Relation algebras MV-relation algebras Remark Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 12 / 41

  49. ▲ ❼ ➝ ➋ ➁ ❼ � ➋ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras A w-ceo algebra ❼ L , � , ➋ ➁ is symmetrical if Basic notions Adjoint product Symmetry ▲ ➜ ❼ L , ➝ , ➋ ➁ w-ceo algebra, with the same induced order; Commutativity and associativity ▲ y ❇ x ➝ z ✔ x ❇ y � z (i.e.[ � , ➝ ]). L-relations Relation algebras MV-relation algebras Remark Dedekind categories Extended-order algebras and ▲ Since � and ➝ form a Galois pair, each of them is uniquely L-relations L-Galois triangles determined by the other one. Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 12 / 41

  50. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras A w-ceo algebra ❼ L , � , ➋ ➁ is symmetrical if Basic notions Adjoint product Symmetry ▲ ➜ ❼ L , ➝ , ➋ ➁ w-ceo algebra, with the same induced order; Commutativity and associativity ▲ y ❇ x ➝ z ✔ x ❇ y � z (i.e.[ � , ➝ ]). L-relations Relation algebras MV-relation algebras Remark Dedekind categories Extended-order algebras and ▲ Since � and ➝ form a Galois pair, each of them is uniquely L-relations L-Galois triangles determined by the other one. Weak L-Galois triangle ▲ ❼ L , ➝ , ➋ ➁ is symmetrical iff ❼ L , � , ➋ ➁ is symmetrical. Symmetrical L-Galois triangle Strong L-Galois triangle 12 / 41

  51. ❼ ➝ ➋ ➁ ❛ ▲ ❛ ❛ ❛ � ❛ ▲ ❛ ❛ ➝ ❇ ➝ ✔ ❇ ▲ ➋ ❛ ① ▲ ▲ ❼ � ➋ ➁ ▲ ❼ ➝ ➋ ➁ ▲ ➋ ❛ � ▲ ❼ ✝ ➁ ❛ � ✝ ❼ ❛ ➁ Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 13 / 41

  52. ❼ ➝ ➋ ➁ ❛ ▲ ❛ ❛ ❛ � ❛ ▲ ❛ ❛ ➝ ❇ ➝ ✔ ❇ ▲ ➋ ❛ ① ▲ ▲ ❼ ➝ ➋ ➁ ▲ ➋ ❛ � ▲ ❼ ✝ ➁ ❛ � ✝ ❼ ❛ ➁ Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections ▲ ❼ L , � , ➋ ➁ is a cdeo algebra; Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 13 / 41

  53. ❼ ➝ ➋ ➁ ❛ ▲ ❛ ❛ ❛ � ❛ ▲ ❛ ❛ ➝ ❇ ➝ ✔ ❇ ▲ ➋ ❛ ① ▲ ▲ ➋ ❛ � ▲ ❼ ✝ ➁ ❛ � ✝ ❼ ❛ ➁ Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections ▲ ❼ L , � , ➋ ➁ is a cdeo algebra; Extended-order algebras ▲ ❼ L , ➝ , ➋ ➁ is a cdeo algebra; Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 13 / 41

  54. ❼ ➝ ➋ ➁ ❛ ▲ ❛ ❛ ❛ � ❛ ▲ ❛ ❛ ➝ ❇ ➝ ✔ ❇ ▲ ➋ ❛ ① ▲ ▲ ❼ ✝ ➁ ❛ � ✝ ❼ ❛ ➁ Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections ▲ ❼ L , � , ➋ ➁ is a cdeo algebra; Extended-order algebras ▲ ❼ L , ➝ , ➋ ➁ is a cdeo algebra; Basic notions Adjoint product Symmetry ▲ ➋ ❛ a � a; Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 13 / 41

  55. ❼ ➝ ➋ ➁ ❛ ▲ ❛ ❛ ❛ � ❛ ▲ ❛ ❛ ➝ ❇ ➝ ✔ ❇ ▲ ➋ ❛ ① ▲ Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections ▲ ❼ L , � , ➋ ➁ is a cdeo algebra; Extended-order algebras ▲ ❼ L , ➝ , ➋ ➁ is a cdeo algebra; Basic notions Adjoint product Symmetry ▲ ➋ ❛ a � a; Commutativity and associativity ▲ ❼ ✝ B ➁ ❛ a � ✝ ❼ B ❛ a ➁ . L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 13 / 41

  56. ❼ ➝ ➋ ➁ ❛ ▲ ❛ ❛ ❛ � ❛ ▲ ❛ ❛ ➝ ❇ ➝ ✔ ❇ ▲ ➋ ❛ ① ▲ Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections ▲ ❼ L , � , ➋ ➁ is a cdeo algebra; Extended-order algebras ▲ ❼ L , ➝ , ➋ ➁ is a cdeo algebra; Basic notions Adjoint product Symmetry ▲ ➋ ❛ a � a; Commutativity and associativity ▲ ❼ ✝ B ➁ ❛ a � ✝ ❼ B ❛ a ➁ . L-relations Relation algebras MV-relation algebras Dedekind categories Remark Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 13 / 41

  57. ▲ ❛ ❛ ➝ ❇ ➝ ✔ ❇ ▲ ➋ ❛ ① ▲ Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections ▲ ❼ L , � , ➋ ➁ is a cdeo algebra; Extended-order algebras ▲ ❼ L , ➝ , ➋ ➁ is a cdeo algebra; Basic notions Adjoint product Symmetry ▲ ➋ ❛ a � a; Commutativity and associativity ▲ ❼ ✝ B ➁ ❛ a � ✝ ❼ B ❛ a ➁ . L-relations Relation algebras MV-relation algebras Dedekind categories Remark Extended-order algebras and L-relations ▲ The adjoint product ˜ ❛ of the cdeo algebra ❼ L , ➝ , ➋ ➁ is the L-Galois triangles opposite ❛ op of ❛ , i. e. a ˜ ❛ b � b ❛ a. Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 13 / 41

  58. ▲ ➋ ❛ ① ▲ Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections ▲ ❼ L , � , ➋ ➁ is a cdeo algebra; Extended-order algebras ▲ ❼ L , ➝ , ➋ ➁ is a cdeo algebra; Basic notions Adjoint product Symmetry ▲ ➋ ❛ a � a; Commutativity and associativity ▲ ❼ ✝ B ➁ ❛ a � ✝ ❼ B ❛ a ➁ . L-relations Relation algebras MV-relation algebras Dedekind categories Remark Extended-order algebras and L-relations ▲ The adjoint product ˜ ❛ of the cdeo algebra ❼ L , ➝ , ➋ ➁ is the L-Galois triangles opposite ❛ op of ❛ , i. e. a ˜ ❛ b � b ❛ a. Weak L-Galois triangle Symmetrical L-Galois ▲ ❛ and ➝ are related by the equivalence a ❇ b ➝ c ✔ a ❛ b ❇ c. triangle Strong L-Galois triangle 13 / 41

  59. ▲ Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections ▲ ❼ L , � , ➋ ➁ is a cdeo algebra; Extended-order algebras ▲ ❼ L , ➝ , ➋ ➁ is a cdeo algebra; Basic notions Adjoint product Symmetry ▲ ➋ ❛ a � a; Commutativity and associativity ▲ ❼ ✝ B ➁ ❛ a � ✝ ❼ B ❛ a ➁ . L-relations Relation algebras MV-relation algebras Dedekind categories Remark Extended-order algebras and L-relations ▲ The adjoint product ˜ ❛ of the cdeo algebra ❼ L , ➝ , ➋ ➁ is the L-Galois triangles opposite ❛ op of ❛ , i. e. a ˜ ❛ b � b ❛ a. Weak L-Galois triangle Symmetrical L-Galois ▲ ❛ and ➝ are related by the equivalence a ❇ b ➝ c ✔ a ❛ b ❇ c. triangle Strong L-Galois ▲ The cdeo algebras need not to be symmetrical. In fact in the triangle cdeo algebras ➋ ❛ a ① a, in general. 13 / 41

  60. Under right-distributivity and symmetry assumptions we have L-relations and Galois triangles further properties. M.Emilia Della Stella , Cosimo Guido Proposition Preliminaries Galois connections ▲ ❼ L , � , ➋ ➁ is a cdeo algebra; Extended-order algebras ▲ ❼ L , ➝ , ➋ ➁ is a cdeo algebra; Basic notions Adjoint product Symmetry ▲ ➋ ❛ a � a; Commutativity and associativity ▲ ❼ ✝ B ➁ ❛ a � ✝ ❼ B ❛ a ➁ . L-relations Relation algebras MV-relation algebras Dedekind categories Remark Extended-order algebras and L-relations ▲ The adjoint product ˜ ❛ of the cdeo algebra ❼ L , ➝ , ➋ ➁ is the L-Galois triangles opposite ❛ op of ❛ , i. e. a ˜ ❛ b � b ❛ a. Weak L-Galois triangle Symmetrical L-Galois ▲ ❛ and ➝ are related by the equivalence a ❇ b ➝ c ✔ a ❛ b ❇ c. triangle Strong L-Galois ▲ The cdeo algebras need not to be symmetrical. In fact in the triangle cdeo algebras ➋ ❛ a ① a, in general. ▲ Symmetrical cdeo algebras are complete integral residuated lattices, hence equivalent to pseudo BCK-algebras, without associativity. 13 / 41

  61. ▲ ❼ � ➋ ➁ ❛ ▲ ▲ ❼ � ➋ ➁ ➝ � ❛ � ❛ ❼ � ➋ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Definition Galois connections Extended-order A w-ceo algebra ❼ L , � , ➋ ➁ is commutative iff algebras Basic notions ❼ c ➁ a � ❼ b � c ➁ � ➋ ✔ b � ❼ a � c ➁ � ➋ (weak exchange Adjoint product condition). Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 14 / 41

  62. ▲ ❼ � ➋ ➁ ❛ ▲ ▲ ❼ � ➋ ➁ ➝ � ❛ � ❛ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Definition Galois connections Extended-order A w-ceo algebra ❼ L , � , ➋ ➁ is commutative iff algebras Basic notions ❼ c ➁ a � ❼ b � c ➁ � ➋ ✔ b � ❼ a � c ➁ � ➋ (weak exchange Adjoint product condition). Symmetry Commutativity and associativity Proposition L-relations Relation algebras Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The followings MV-relation algebras Dedekind categories are equivalent: Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 14 / 41

  63. ❛ ▲ ▲ ❼ � ➋ ➁ ➝ � ❛ � ❛ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Definition Galois connections Extended-order A w-ceo algebra ❼ L , � , ➋ ➁ is commutative iff algebras Basic notions ❼ c ➁ a � ❼ b � c ➁ � ➋ ✔ b � ❼ a � c ➁ � ➋ (weak exchange Adjoint product condition). Symmetry Commutativity and associativity Proposition L-relations Relation algebras Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The followings MV-relation algebras Dedekind categories are equivalent: Extended-order algebras and L-relations ▲ ❼ L , � , ➋ ➁ is commutative; L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 14 / 41

  64. ▲ ❼ � ➋ ➁ ➝ � ❛ � ❛ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Definition Galois connections Extended-order A w-ceo algebra ❼ L , � , ➋ ➁ is commutative iff algebras Basic notions ❼ c ➁ a � ❼ b � c ➁ � ➋ ✔ b � ❼ a � c ➁ � ➋ (weak exchange Adjoint product condition). Symmetry Commutativity and associativity Proposition L-relations Relation algebras Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The followings MV-relation algebras Dedekind categories are equivalent: Extended-order algebras and L-relations ▲ ❼ L , � , ➋ ➁ is commutative; L-Galois triangles ▲ the adjoint product ❛ is commutative; Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 14 / 41

  65. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Definition Galois connections Extended-order A w-ceo algebra ❼ L , � , ➋ ➁ is commutative iff algebras Basic notions ❼ c ➁ a � ❼ b � c ➁ � ➋ ✔ b � ❼ a � c ➁ � ➋ (weak exchange Adjoint product condition). Symmetry Commutativity and associativity Proposition L-relations Relation algebras Let ❼ L , � , ➋ ➁ be a right-distributive w-ceo algebra. The followings MV-relation algebras Dedekind categories are equivalent: Extended-order algebras and L-relations ▲ ❼ L , � , ➋ ➁ is commutative; L-Galois triangles ▲ the adjoint product ❛ is commutative; Weak L-Galois triangle Symmetrical L-Galois ▲ ❼ L , � , ➋ ➁ is symmetrical and ➝ coincides with � (and, of triangle Strong L-Galois course, ˜ ❛ � ❛ ). triangle 14 / 41

  66. ▲ ❼ � ➋ ➁ ▲ ❼ ➝ ➋ ➁ ➝ ❼ ➝ ➁ � ❼ ❛ ➁ ➝ ▲ ➝ ❼ � ➁ � � ❼ ➝ ➁ ▲ ▲ ❼ � ➋ ➁ � ❼ � ➁ � � ❼ � ➁ ▲ ❼ � ➋ ➁ ▲ ▲ ❛ ▲ ▲ ❼ ➁ � ❼ � ➁ � ❼ ❛ ➁ � ❼ � ➋ ➁ ▲ ❼ � ➋ ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 15 / 41

  67. ▲ ❼ � ➋ ➁ ▲ ❼ ➝ ➋ ➁ ➝ ❼ ➝ ➁ � ❼ ❛ ➁ ➝ ▲ ➝ ❼ � ➁ � � ❼ ➝ ➁ ▲ ▲ ❼ � ➋ ➁ � ❼ � ➁ � � ❼ � ➁ ▲ ❼ � ➋ ➁ ▲ ▲ ❛ ▲ ▲ ❼ ➁ � ❼ � ➁ � ❼ ❛ ➁ � ❼ � ➋ ➁ ▲ ❼ � ➋ ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries Galois connections Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 15 / 41

  68. ▲ ❼ � ➋ ➁ ▲ ❼ ➝ ➋ ➁ ➝ ❼ ➝ ➁ � ❼ ❛ ➁ ➝ ▲ ➝ ❼ � ➁ � � ❼ ➝ ➁ ▲ ▲ ❼ � ➋ ➁ � ❼ � ➁ � � ❼ � ➁ ▲ ❼ � ➋ ➁ ▲ ❼ � ➋ ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries ▲ If ❼ L , � , ➋ ➁ is a right-distributive w-ceo algebra, the following Galois connections are equivalent: Extended-order algebras ▲ L is associative; Basic notions Adjoint product ▲ the adjoint product ❛ is associative; Symmetry Commutativity and ▲ ❼ a ➁ a � ❼ b � c ➁ � ❼ b ❛ a ➁ � c. (strong adjunction) associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 15 / 41

  69. ▲ ❼ � ➋ ➁ � ❼ � ➁ � � ❼ � ➁ ▲ ▲ ❼ � ➋ ➁ ▲ ❼ ➝ ➋ ➁ ➝ ❼ ➝ ➁ � ❼ ❛ ➁ ➝ ▲ ➝ ❼ � ➁ � � ❼ ➝ ➁ ▲ ❼ � ➋ ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries ▲ If ❼ L , � , ➋ ➁ is a right-distributive w-ceo algebra, the following Galois connections are equivalent: Extended-order algebras ▲ L is associative; Basic notions Adjoint product ▲ the adjoint product ❛ is associative; Symmetry Commutativity and ▲ ❼ a ➁ a � ❼ b � c ➁ � ❼ b ❛ a ➁ � c. (strong adjunction) associativity ▲ If ❼ L , � , ➋ ➁ is a symmetrical cdeo algebra, the following are L-relations Relation algebras equivalent: MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 15 / 41

  70. ▲ ❼ � ➋ ➁ � ❼ � ➁ � � ❼ � ➁ ▲ ▲ ❼ ➝ ➋ ➁ ➝ ❼ ➝ ➁ � ❼ ❛ ➁ ➝ ▲ ➝ ❼ � ➁ � � ❼ ➝ ➁ ▲ ❼ � ➋ ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries ▲ If ❼ L , � , ➋ ➁ is a right-distributive w-ceo algebra, the following Galois connections are equivalent: Extended-order algebras ▲ L is associative; Basic notions Adjoint product ▲ the adjoint product ❛ is associative; Symmetry Commutativity and ▲ ❼ a ➁ a � ❼ b � c ➁ � ❼ b ❛ a ➁ � c. (strong adjunction) associativity ▲ If ❼ L , � , ➋ ➁ is a symmetrical cdeo algebra, the following are L-relations Relation algebras equivalent: MV-relation algebras Dedekind categories ▲ ❼ L , � , ➋ ➁ is associative. Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 15 / 41

  71. ▲ ❼ � ➋ ➁ � ❼ � ➁ � � ❼ � ➁ ▲ ➝ ❼ ➝ ➁ � ❼ ❛ ➁ ➝ ▲ ➝ ❼ � ➁ � � ❼ ➝ ➁ ▲ ❼ � ➋ ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries ▲ If ❼ L , � , ➋ ➁ is a right-distributive w-ceo algebra, the following Galois connections are equivalent: Extended-order algebras ▲ L is associative; Basic notions Adjoint product ▲ the adjoint product ❛ is associative; Symmetry Commutativity and ▲ ❼ a ➁ a � ❼ b � c ➁ � ❼ b ❛ a ➁ � c. (strong adjunction) associativity ▲ If ❼ L , � , ➋ ➁ is a symmetrical cdeo algebra, the following are L-relations Relation algebras equivalent: MV-relation algebras Dedekind categories ▲ ❼ L , � , ➋ ➁ is associative. Extended-order algebras and ▲ ❼ L , ➝ , ➋ ➁ is associative. L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 15 / 41

  72. ▲ ❼ � ➋ ➁ � ❼ � ➁ � � ❼ � ➁ ▲ ➝ ❼ � ➁ � � ❼ ➝ ➁ ▲ ❼ � ➋ ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries ▲ If ❼ L , � , ➋ ➁ is a right-distributive w-ceo algebra, the following Galois connections are equivalent: Extended-order algebras ▲ L is associative; Basic notions Adjoint product ▲ the adjoint product ❛ is associative; Symmetry Commutativity and ▲ ❼ a ➁ a � ❼ b � c ➁ � ❼ b ❛ a ➁ � c. (strong adjunction) associativity ▲ If ❼ L , � , ➋ ➁ is a symmetrical cdeo algebra, the following are L-relations Relation algebras equivalent: MV-relation algebras Dedekind categories ▲ ❼ L , � , ➋ ➁ is associative. Extended-order algebras and ▲ ❼ L , ➝ , ➋ ➁ is associative. L-relations ▲ a ➝ ❼ b ➝ c ➁ � ❼ a ❛ b ➁ ➝ c. (strong adjuction) L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 15 / 41

  73. ▲ ❼ � ➋ ➁ � ❼ � ➁ � � ❼ � ➁ ▲ ❼ � ➋ ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries ▲ If ❼ L , � , ➋ ➁ is a right-distributive w-ceo algebra, the following Galois connections are equivalent: Extended-order algebras ▲ L is associative; Basic notions Adjoint product ▲ the adjoint product ❛ is associative; Symmetry Commutativity and ▲ ❼ a ➁ a � ❼ b � c ➁ � ❼ b ❛ a ➁ � c. (strong adjunction) associativity ▲ If ❼ L , � , ➋ ➁ is a symmetrical cdeo algebra, the following are L-relations Relation algebras equivalent: MV-relation algebras Dedekind categories ▲ ❼ L , � , ➋ ➁ is associative. Extended-order algebras and ▲ ❼ L , ➝ , ➋ ➁ is associative. L-relations ▲ a ➝ ❼ b ➝ c ➁ � ❼ a ❛ b ➁ ➝ c. (strong adjuction) L-Galois triangles Weak L-Galois ▲ a ➝ ❼ b � c ➁ � b � ❼ a ➝ c ➁ . (strong Galois connection) triangle Symmetrical L-Galois triangle Strong L-Galois triangle 15 / 41

  74. ▲ ❼ � ➋ ➁ � ❼ � ➁ � � ❼ � ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries ▲ If ❼ L , � , ➋ ➁ is a right-distributive w-ceo algebra, the following Galois connections are equivalent: Extended-order algebras ▲ L is associative; Basic notions Adjoint product ▲ the adjoint product ❛ is associative; Symmetry Commutativity and ▲ ❼ a ➁ a � ❼ b � c ➁ � ❼ b ❛ a ➁ � c. (strong adjunction) associativity ▲ If ❼ L , � , ➋ ➁ is a symmetrical cdeo algebra, the following are L-relations Relation algebras equivalent: MV-relation algebras Dedekind categories ▲ ❼ L , � , ➋ ➁ is associative. Extended-order algebras and ▲ ❼ L , ➝ , ➋ ➁ is associative. L-relations ▲ a ➝ ❼ b ➝ c ➁ � ❼ a ❛ b ➁ ➝ c. (strong adjuction) L-Galois triangles Weak L-Galois ▲ a ➝ ❼ b � c ➁ � b � ❼ a ➝ c ➁ . (strong Galois connection) triangle Symmetrical L-Galois ▲ If ❼ L , � , ➋ ➁ is a symmetrical and commutative cdeo algebra, triangle Strong L-Galois then the following are equivalent: triangle 15 / 41

  75. � ❼ � ➁ � � ❼ � ➁ ▲ L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries ▲ If ❼ L , � , ➋ ➁ is a right-distributive w-ceo algebra, the following Galois connections are equivalent: Extended-order algebras ▲ L is associative; Basic notions Adjoint product ▲ the adjoint product ❛ is associative; Symmetry Commutativity and ▲ ❼ a ➁ a � ❼ b � c ➁ � ❼ b ❛ a ➁ � c. (strong adjunction) associativity ▲ If ❼ L , � , ➋ ➁ is a symmetrical cdeo algebra, the following are L-relations Relation algebras equivalent: MV-relation algebras Dedekind categories ▲ ❼ L , � , ➋ ➁ is associative. Extended-order algebras and ▲ ❼ L , ➝ , ➋ ➁ is associative. L-relations ▲ a ➝ ❼ b ➝ c ➁ � ❼ a ❛ b ➁ ➝ c. (strong adjuction) L-Galois triangles Weak L-Galois ▲ a ➝ ❼ b � c ➁ � b � ❼ a ➝ c ➁ . (strong Galois connection) triangle Symmetrical L-Galois ▲ If ❼ L , � , ➋ ➁ is a symmetrical and commutative cdeo algebra, triangle Strong L-Galois then the following are equivalent: triangle ▲ ❼ L , � , ➋ ➁ is associative. 15 / 41

  76. L-relations and Galois triangles M.Emilia Della Stella , Proposition Cosimo Guido Preliminaries ▲ If ❼ L , � , ➋ ➁ is a right-distributive w-ceo algebra, the following Galois connections are equivalent: Extended-order algebras ▲ L is associative; Basic notions Adjoint product ▲ the adjoint product ❛ is associative; Symmetry Commutativity and ▲ ❼ a ➁ a � ❼ b � c ➁ � ❼ b ❛ a ➁ � c. (strong adjunction) associativity ▲ If ❼ L , � , ➋ ➁ is a symmetrical cdeo algebra, the following are L-relations Relation algebras equivalent: MV-relation algebras Dedekind categories ▲ ❼ L , � , ➋ ➁ is associative. Extended-order algebras and ▲ ❼ L , ➝ , ➋ ➁ is associative. L-relations ▲ a ➝ ❼ b ➝ c ➁ � ❼ a ❛ b ➁ ➝ c. (strong adjuction) L-Galois triangles Weak L-Galois ▲ a ➝ ❼ b � c ➁ � b � ❼ a ➝ c ➁ . (strong Galois connection) triangle Symmetrical L-Galois ▲ If ❼ L , � , ➋ ➁ is a symmetrical and commutative cdeo algebra, triangle Strong L-Galois then the following are equivalent: triangle ▲ ❼ L , � , ➋ ➁ is associative. ▲ a � ❼ b � c ➁ � b � ❼ a � c ➁ . (strong exchange condition) 15 / 41

  77. ❼ ✲ ✱ ✏ ❳ ✘ ➁ ❼ ➁ ▲ ❼ ✲ ✱ ✏ ➁ ▲ ❼ ➁ ❳ ✔ ❼ ✘ ❳ ➁ ✱ ▲ ❼ ❳ ➁ ✱ ✔ ❼ ❳ ✘ ➁ ✱ � � � ❼ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido B. J´ onsson, A. Tarski: Representation problems for relation Preliminaries algebras , Bull. Amer. Math. Soc. 54 (1948), 79-80. Galois connections Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 16 / 41

  78. ❼ ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido B. J´ onsson, A. Tarski: Representation problems for relation Preliminaries algebras , Bull. Amer. Math. Soc. 54 (1948), 79-80. Galois connections Extended-order algebras Definition Basic notions A (classical) relation algebra is a structure ❼ A , ✲ , ✱ , ✏ , 0 , 1 , ❳ , ✘ , ∆ ➁ Adjoint product Symmetry of type ❼ 2 , 2 , 1 , 0 , 0 , 2 , 1 , 0 ➁ such that: Commutativity and associativity ▲ ❼ A , ✲ , ✱ , ✏ , 0 , 1 ➁ is a Boolean algebra; L-relations Relation algebras ▲ ❼ A , ❳ , ∆ ➁ is a monoid; MV-relation algebras Dedekind categories ▲ ❼ x ❳ y ➁ ✱ z � 0 ✔ ❼ x ✘ ❳ z ➁ ✱ y � 0 ✔ ❼ z ❳ y ✘ ➁ ✱ x � 0 (cycle Extended-order algebras and L-relations law). L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 16 / 41

  79. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido B. J´ onsson, A. Tarski: Representation problems for relation Preliminaries algebras , Bull. Amer. Math. Soc. 54 (1948), 79-80. Galois connections Extended-order algebras Definition Basic notions A (classical) relation algebra is a structure ❼ A , ✲ , ✱ , ✏ , 0 , 1 , ❳ , ✘ , ∆ ➁ Adjoint product Symmetry of type ❼ 2 , 2 , 1 , 0 , 0 , 2 , 1 , 0 ➁ such that: Commutativity and associativity ▲ ❼ A , ✲ , ✱ , ✏ , 0 , 1 ➁ is a Boolean algebra; L-relations Relation algebras ▲ ❼ A , ❳ , ∆ ➁ is a monoid; MV-relation algebras Dedekind categories ▲ ❼ x ❳ y ➁ ✱ z � 0 ✔ ❼ x ✘ ❳ z ➁ ✱ y � 0 ✔ ❼ z ❳ y ✘ ➁ ✱ x � 0 (cycle Extended-order algebras and L-relations law). L-Galois triangles Weak L-Galois triangle Example Symmetrical L-Galois triangle Strong L-Galois Rel ❼ X ➁ , the algebra of classical binary relations on a set X, is the triangle standard example of relation algebra. 16 / 41

  80. ❵ ❜ ✏ ❼ ❳ ✘ ➁ ❼ ➁ ▲ ❼ ❵ ❜ ✏ ➁ ▲ ❼ ➁ ❳ ✔ ❼ ✘ ❳ ➁ ❜ ▲ ❼ ❳ ➁ ❜ ✔ ❼ ❳ ✘ ➁ ❜ � � � ✕ ❼ ➁ � ❼� ✆ ❵ ❜ ✏ ❳ ✘ ➁ � ✆ ▲ ✆ ❵ ❜ ✏ ➁ ▲ ❵ ❜ ✏ ❼� ▲ ❘ ❳ ❙ ❼ ➁ � ✝ ❃ ❘ ❼ ➁ ❜ ❙ ❼ ➁ ▲ ❘ ✘ ❼ ➁ � ❘ ❼ ➁ ❼ ➁ � ❼ ➁ � ▲ � ① L-relations and Galois A. Popescu: Many-valued relation algebras , Algebra Universalis 53 triangles (2005), 73-108. M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 17 / 41

  81. ✕ ❼ ➁ � ❼� ✆ ❵ ❜ ✏ ❳ ✘ ➁ � ✆ ▲ ✆ ❵ ❜ ✏ ➁ ▲ ❵ ❜ ✏ ❼� ▲ ❘ ❳ ❙ ❼ ➁ � ✝ ❃ ❘ ❼ ➁ ❜ ❙ ❼ ➁ ▲ ❘ ✘ ❼ ➁ � ❘ ❼ ➁ ❼ ➁ � ❼ ➁ � ▲ � ① L-relations and Galois A. Popescu: Many-valued relation algebras , Algebra Universalis 53 triangles (2005), 73-108. M.Emilia Della Stella , Cosimo Guido Definition Preliminaries An MV-relation algebra is a structure ❼ A , ❵ , ❜ , ✏ , 0 , 1 , ❳ , ✘ , ∆ ➁ of Galois connections Extended-order type ❼ 2 , 2 , 1 , 0 , 0 , 2 , 1 , 0 ➁ such that: algebras Basic notions ▲ ❼ A , ❵ , ❜ , ✏ , 0 , 1 ➁ is an MV-algebra; Adjoint product Symmetry Commutativity and ▲ ❼ A , ❳ , ∆ ➁ is a monoid; associativity ▲ ❼ x ❳ y ➁ ❜ z � 0 ✔ ❼ x ✘ ❳ z ➁ ❜ y � 0 ✔ ❼ z ❳ y ✘ ➁ ❜ x � 0 . L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 17 / 41

  82. L-relations and Galois A. Popescu: Many-valued relation algebras , Algebra Universalis 53 triangles (2005), 73-108. M.Emilia Della Stella , Cosimo Guido Definition Preliminaries An MV-relation algebra is a structure ❼ A , ❵ , ❜ , ✏ , 0 , 1 , ❳ , ✘ , ∆ ➁ of Galois connections Extended-order type ❼ 2 , 2 , 1 , 0 , 0 , 2 , 1 , 0 ➁ such that: algebras Basic notions ▲ ❼ A , ❵ , ❜ , ✏ , 0 , 1 ➁ is an MV-algebra; Adjoint product Symmetry Commutativity and ▲ ❼ A , ❳ , ∆ ➁ is a monoid; associativity ▲ ❼ x ❳ y ➁ ❜ z � 0 ✔ ❼ x ✘ ❳ z ➁ ❜ y � 0 ✔ ❼ z ❳ y ✘ ➁ ❜ x � 0 . L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order Example algebras and L-relations MVRel ❼ X ➁ � ❼� 0 , 1 ✆ X ✕ X , ❵ , ❜ , ✏ , 0 , 1 , ❳ , ✘ , ∆ ➁ is the classical L-Galois triangles algebra of binary � 0 , 1 ✆ -relations on a set X where: Weak L-Galois triangle Symmetrical L-Galois ▲ 0 and 1 are the constant relations; triangle Strong L-Galois ▲ ❵ , ❜ and ✏ are the pointwise operation from ❼� 0 , 1 ✆ , ❵ , ❜ , ✏ ➁ ; triangle ▲ ❘ ❳ ❙ ❼ x , y ➁ � ✝ z ❃ X ❘ ❼ x , z ➁ ❜ ❙ ❼ z , y ➁ ; ▲ ❘ ✘ ❼ x , y ➁ � ❘ ❼ y , x ➁ ; ▲ ∆ ❼ x , y ➁ � 1 if x � y and ∆ ❼ x , y ➁ � 0 if x ① y. 17 / 41

  83. ❉ � ▲ ❉ ❼ ➁ � ❼ ❉ ❼ ➁ ❜ ✽ ✾ ✟ ➁ ➞ ❼ ❉ ➁ ➛ ❃ ❜ � ✾ � ✽ ▲ ▲ ✟ ❜ ✾ ❜ ✟ ➞ ▲ ✂ ❉ ❼ ➁ � ❉ ❼ ➁ ▲ ➐ ✂ ➛ ➛ ✂ ❍ ❍ ▲ ❼ ➁ � � � ▲ ❼ ➁ � ➐ ➐ ❜ ❜ ▲ L-relations and Galois triangles M.Emilia Della Stella , H. Furusawa, Y. Kawahara, M. Winter: Dedekind Categories with Cosimo Guido Cutoff Operators , Fuzzy Sets Syst. (article in press). Preliminaries Galois connections Extended-order algebras Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 18 / 41

  84. L-relations and Galois triangles M.Emilia Della Stella , H. Furusawa, Y. Kawahara, M. Winter: Dedekind Categories with Cosimo Guido Cutoff Operators , Fuzzy Sets Syst. (article in press). Preliminaries Galois connections Definition Extended-order algebras A Dedekind category ❉ is a category with composition � such that: Basic notions Adjoint product Symmetry Commutativity and ▲ ❉ ❼ X , Y ➁ � ❼ ❉ ❼ X , Y ➁ , ❜ , ✽ , ✾ , ✟ , 0 XY , ➞ XY ➁ is an Heyting associativity algebra, ➛ X , Y ❃ Obj ❼ ❉ ➁ ,where: L-relations Relation algebras ▲ α ❜ β iff α � α ✾ β iff β � α ✽ β ; MV-relation algebras Dedekind categories ▲ α ✟ β is the relative pseudo-complement of α relative to β Extended-order algebras and i.e. γ ❜ α ✟ β iff α ✾ γ ❜ β ; L-relations ▲ 0 XY e ➞ XY are the least and the greatest element. L-Galois triangles Weak L-Galois ▲ There exists a converse operation # ✂ ❉ ❼ X , Y ➁ � ❉ ❼ Y , X ➁ triangle Symmetrical L-Galois such that ➛ α,α ➐ ✂ X ❍ Y , ➛ β ✂ Y ❍ Z: triangle Strong L-Galois ▲ ❼ α � β ➁ # � β # � α # ; triangle ▲ ❼ α # ➁ # � α ; ▲ if α ❜ α ➐ , then α # ❜ α ➐ # . 18 / 41

  85. ❼ ➁❼ ➁ � ❼ ❼ ➁❼ ➁ ❜ ✽ ✾ ✟ ➁ ➞ ❼ � ➁ ✱ ✲ ▲ ❜ ✽ ✾ ✲ ✱ ❇ ✟ � ▲ ❘ ❼ ➁ � ❘ ❼ ➁ ▲ ❘ � ❙ ❼ ➁ � ✝ ❃ ❘ ❼ ➁ ✱ ❙ ❼ ➁ ➞ ▲ � � ▲ ❘ ❭ ❙ ❼ ➁ � ☎ ❃ ❘ ❼ ➁ � ❙ ❼ ➁ L-relations and Galois triangles M.Emilia Della Stella , ▲ ➛ α ✂ X ❍ Y ,β ✂ Y ❍ Z ,γ ✂ X ❍ Z : Cosimo Guido α � β ✾ γ ❜ α � ❼ β ✾ α # � γ ➁ . ❼ modular law ➁ Preliminaries Galois connections ▲ ➛ α ✂ X ❍ Y ,β ✂ Y ❍ Z the residual composition Extended-order algebras α ❭ β ✂ X ❍ Z is a morphism such that ➛ δ ✂ X ❍ Z , Basic notions δ ❜ α ❭ β iff α # � δ ❜ β . Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 19 / 41

  86. L-relations and Galois triangles M.Emilia Della Stella , ▲ ➛ α ✂ X ❍ Y ,β ✂ Y ❍ Z ,γ ✂ X ❍ Z : Cosimo Guido α � β ✾ γ ❜ α � ❼ β ✾ α # � γ ➁ . ❼ modular law ➁ Preliminaries Galois connections ▲ ➛ α ✂ X ❍ Y ,β ✂ Y ❍ Z the residual composition Extended-order algebras α ❭ β ✂ X ❍ Z is a morphism such that ➛ δ ✂ X ❍ Z , Basic notions δ ❜ α ❭ β iff α # � δ ❜ β . Adjoint product Symmetry Commutativity and associativity Example L-relations Relation algebras Rel ❼ L ➁❼ X , Y ➁ � ❼ Rel ❼ L ➁❼ X , Y ➁ , ❜ , ✽ , ✾ , ✟ , 0 XY , ➞ XY ➁ is the MV-relation algebras Dedekind categories Dedekind category of binary heterogeneous L-relations taking Extended-order algebras and value in an Heyting algebra ❼ L , ✱ , ✲ , 0 , 1 , � ➁ , where: L-relations L-Galois triangles ▲ ❜ , ✽ , ✾ and ✟ are pointwise induced by ✲ , ✱ , ❇ and � of L; Weak L-Galois triangle ▲ ❘ # ❼ y , x ➁ � ❘ ❼ x , y ➁ ; Symmetrical L-Galois triangle ▲ ❘ � ❙ ❼ x , z ➁ � ✝ y ❃ Y ❘ ❼ x , y ➁ ✱ ❙ ❼ y , z ➁ ; Strong L-Galois triangle ▲ 0 XY � 0 and ➞ XY � 1 ; ▲ ❘ ❭ ❙ ❼ x , z ➁ � ☎ y ❃ Y ❘ ❼ x , y ➁ � ❙ ❼ y , z ➁ . 19 / 41

  87. L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Extended-order algebras Basic notions Let L � ❼ L , � , ➋ ➁ be a w - ceo algebra and consider ➛ X , Y ❃ ❙ Set ❙ Adjoint product Symmetry the set R ❼ L ➁❼ X , Y ➁ of L -relations ❘ ✂ X ✕ Y � L ✁ X ❍ Y . Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories What about R ❼ L ➁❼ X , Y ➁ ? Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 20 / 41

  88. ▲ ã ã ❼ ➁ � ➋ ✂ ❍ ➐ ❃ ▲ ■ ■ ❼ ➁ � ➋ ■ ❼ ➐ ➁ � ➊ ➛ ① ✂ ❍ ▲ ❘ ❇ ❘ ➐ ✔ ❘ ❼ ➁ ❇ ❘ ➐ ❼ ➁ ▲ ❘ � ❘ ➐ ✂ ❘ � ❘ ➐ ❼ ➁ � ❘ ❼ ➁ � ❘ ➐ ❼ ➁ ❍ ❼ ➁❼ ➁ � ❼ ❼ ➁❼ ➁ � ã ➁ L-relations and Galois triangles M.Emilia Della Stella , Cosimo Guido Preliminaries Galois connections Definition Extended-order algebras ▲ á XY ✂ X ❍ Y : á XY ❼ x , y ➁ � ➊ ; Basic notions Adjoint product Symmetry Commutativity and associativity L-relations Relation algebras MV-relation algebras Dedekind categories Extended-order algebras and L-relations L-Galois triangles Weak L-Galois triangle Symmetrical L-Galois triangle Strong L-Galois triangle 21 / 41

Recommend

Hopf-Galois Theory and Galois Module Structure University of Exeter. Induced Hopf Galois

Hopf-Galois Theory and Galois Module Structure University of Exeter. Induced Hopf Galois

Hopf-Galois Theory and Galois Module Structure University of Exeter. Induced Hopf Galois structures Teresa Crespo, Anna Rio and Montserrat Vela June 25th, 2015 Let K/k be a separable field extension of degree n , K its Galois closure, G =

270 views • 14 slides
Galois theories of internal groupoids via congruence relations for Maltsev varieties Jo ao J.

Galois theories of internal groupoids via congruence relations for Maltsev varieties Jo ao J.

International Category Theory Conference CT 2006 White Point, Nova Scotia, June 25 - July 1, 2006 Galois theories of internal groupoids via congruence relations for Maltsev varieties Jo ao J. Xarez jxarez@mat.ua.pt University of Aveiro 1

270 views • 11 slides
Geometry Triangles Triangles Return to Table of Contents www.njctl.org Slide 5 / 210 Slide 6

Geometry Triangles Triangles Return to Table of Contents www.njctl.org Slide 5 / 210 Slide 6

Slide 1 / 210 Slide 2 / 210 Table of Contents Click on the topic to go to that section Triangles Triangle Sum Theorem Exterior Angle Theorem Inequalities in Triangles Similar Triangles Questions from Released PARCC Test Slide

772 views • 35 slides
Rasterization May 1, 2006 Triangles Only We will discuss the rasterization of triangles

Rasterization May 1, 2006 Triangles Only We will discuss the rasterization of triangles

Rasterization May 1, 2006 Triangles Only We will discuss the rasterization of triangles only. Why? Polygon can be decomposed into triangles. A triangle is always convex. Results in algorithms that are more hardware

407 views • 9 slides
:i extensions ) characterizations for Galois Thin ( Equivalent - Gal ( EIF ) . Then and

:i extensions ) characterizations for Galois Thin ( Equivalent - Gal ( EIF ) . Then and

Extension , Galois Galois Intermediate I : Extensions lame l Gal LEIF ) t.EE if ] ' tf Galois Elf is :i extensions ) characterizations for Galois Thin ( Equivalent - Gal ( EIF ) . Then and [ E : F) so let G - suppose

1.01k views • 15 slides
On Galois Cohomology, Norm Functions and Cycles Markus Rost Bielefeld, September 2006 Galois

On Galois Cohomology, Norm Functions and Cycles Markus Rost Bielefeld, September 2006 Galois

On Galois Cohomology, Norm Functions and Cycles Markus Rost Bielefeld, September 2006 Galois Cohomology p a prime F a field, char F = p F a separable closure of F G F = Gal( F/F ) the absolute Galois group H n ( F, Z /p ) = H n ( G F

404 views • 14 slides
Problem Solving with Similar and Right Triangles Triangles Three basic approaches to real world

Problem Solving with Similar and Right Triangles Triangles Three basic approaches to real world

Slide 1 / 252 Slide 2 / 252 Geometry Similar Triangles & Trigonometry 2015-10-22 www.njctl.org Slide 3 / 252 Slide 4 / 252 Table of Contents Throughout this unit, the Standards for Mathematical Practice are used. click on the topic to

906 views • 42 slides
Slide 4 / 252 Throughout this unit, the Standards for Mathematical Practice are used. MP1:

Slide 4 / 252 Throughout this unit, the Standards for Mathematical Practice are used. MP1:

Slide 1 / 252 Slide 2 / 252 Geometry Similar Triangles & Trigonometry 2015-10-22 www.njctl.org Slide 3 / 252 Table of Contents click on the topic to go to that section Problem Solving with Similar Triangles Similar Triangles and

1.83k views • 131 slides
":::i too big ) aren't CI ( Galois groups [ E : F) 31gal ( EIHL i

":::i too big ) aren't CI ( Galois groups [ E : F) 31gal ( EIHL i

Galois Extensions " big " ? Galois group ' when I : are " Independence of " Chohuters , Part I ":::i too big ) aren't CI ( Galois groups [ E : F) 31gal ( EIHL i F) sis . Then ( E Suppose (

535 views • 9 slides
CS 6958 LECTURE 7 TRIANGLES, BVH January 29, 2014 Triangles 2 Lets try to derive an

CS 6958 LECTURE 7 TRIANGLES, BVH January 29, 2014 Triangles 2 Lets try to derive an

CS 6958 LECTURE 7 TRIANGLES, BVH January 29, 2014 Triangles 2 Lets try to derive an intersection test Barycentric Coordinates 3 1 2 3 0 1 , 2 , 3 1 1 1 + 2 + 3 = 1 2

203 views • 16 slides
JUST THE MATHS SLIDES NUMBER 3.4 TRIGONOMETRY 4 (Solution of triangles) by A.J.Hobson

JUST THE MATHS SLIDES NUMBER 3.4 TRIGONOMETRY 4 (Solution of triangles) by A.J.Hobson

JUST THE MATHS SLIDES NUMBER 3.4 TRIGONOMETRY 4 (Solution of triangles) by A.J.Hobson 3.4.1 Introduction 3.4.2 Right-angled triangles 3.4.3 The sine and cosine rules UNIT 3.4 - TRIGONOMETRY 4 SOLUTION OF TRIANGLES 3.4.1

446 views • 9 slides
Galois connections between group actions and functions some results and problems Reinhard P

Galois connections between group actions and functions some results and problems Reinhard P

Galois connections Group actions and functions Galois closed groups Problems and references Galois connections between group actions and functions some results and problems Reinhard P oschel (joint work with E. Friese, Rostock

899 views • 52 slides
Saltmans Generic Galois Extensions and Problems in Field Theory David Harbater May 16, 2011

Saltmans Generic Galois Extensions and Problems in Field Theory David Harbater May 16, 2011

Saltmans Generic Galois Extensions and Problems in Field Theory David Harbater May 16, 2011 Motivation from Inverse Galois Problem Saltman, Advances in Math. (1982) Motivated by (inverse) Galois theory; has motivated further work. IGP: Is

614 views • 29 slides
The relative magnitude of two measurements (or quantities), usually expressed as a fraction. 5.

The relative magnitude of two measurements (or quantities), usually expressed as a fraction. 5.

D AY 73 S IMILARITY IN TRIANGLES I NTRODUCTION We have discussed triangle congruence in previous lessons and how to identify congruent triangles. We also have plane figures which have the same shape but not necessarily the same size. Such

383 views • 15 slides
Trigonometric functions Step one: similar triangles Two similar triangles have the same set of

Trigonometric functions Step one: similar triangles Two similar triangles have the same set of

Trigonometric functions Step one: similar triangles Two similar triangles have the same set of angles, and have the properties that c a B = a A B C = b c , and A C = a b , c . b C A B Step one: similar triangles Two similar

632 views • 28 slides
Geometria Alg ebrica I lecture 16: Galois coverings and Galois categories Misha Verbitsky

Geometria Alg ebrica I lecture 16: Galois coverings and Galois categories Misha Verbitsky

Algebraic geometry I, lecture 16 M. Verbitsky Geometria Alg ebrica I lecture 16: Galois coverings and Galois categories Misha Verbitsky IMPA, sala 232 October 15, 2018 1 Algebraic geometry I, lecture 16 M. Verbitsky Covering maps

588 views • 20 slides
Fundamental butting ::i::::: Galois ness ) intermediate Chandu Eakins

Fundamental butting ::i::::: Galois ness ) intermediate Chandu Eakins

Theorem Fundamental butting ::i::::: Galois ness ) intermediate Chandu Eakins of Thur ( Equivalent ( iii ) Gal ( Elk ) A Gal ( EIF ) ( iv ) Khs Galois . is Leatherback HH et Aut ( E ) sub extensions of E

328 views • 8 slides
Lecture One: Classical Galois Theory and Some Generalizations Lecture Two: Grothendieck

Lecture One: Classical Galois Theory and Some Generalizations Lecture Two: Grothendieck

Lecture One: Classical Galois Theory and Some Generalizations Lecture Two: Grothendieck Galois theory Lecture Three: Infinitary Galois theory Three Lectures on Galois Theory Jean-Jacques Szczeciniarz Jean-Jacques Szczeciniarz Three

802 views • 64 slides
II Relative : tasting Galois computation of An a explicit group Newstead E ' FEKEE , how

II Relative : tasting Galois computation of An a explicit group Newstead E ' FEKEE , how

Galois Group The Galois theory II Relative : tasting Galois computation of An a explicit group Newstead E ' FEKEE , how If Gul 'Elk ) : : " " " . . . . other ? each te subgroups ) Lemma ( Tep sub

575 views • 13 slides
Monodromy for some rank two Galois representations over CM fields Patrick Allen 1 James Newton 2 1

Monodromy for some rank two Galois representations over CM fields Patrick Allen 1 James Newton 2 1

Monodromy for some rank two Galois representations over CM fields Patrick Allen 1 James Newton 2 1 University of Illinois at Urbana-Champaign 2 Kings College London Joint Math Mettings 2019 Galois representations attached to modular forms Let f (

448 views • 12 slides
POSTULATE ASA I NTRODUCTION When triangles are identical, that is, equal and overlapping each

POSTULATE ASA I NTRODUCTION When triangles are identical, that is, equal and overlapping each

D AY 57 C ONGRUENCE POSTULATE ASA I NTRODUCTION When triangles are identical, that is, equal and overlapping each other, we say that they are congruent. We wish to develop easier methods of determining if triangles are congruent since this

462 views • 11 slides
Galois theory, a logical path from Grothendiecks version to the fundamental theorem Johan

Galois theory, a logical path from Grothendiecks version to the fundamental theorem Johan

Galois theory, a logical path from Grothendiecks version to the fundamental theorem Johan Felipe Garc a Vargas Departamento de Matem aticas Universidad de los Andes July 11, 2017 Outline Traditionally Galois theory is seen as a

643 views • 28 slides
Right Triangle Trigonometry Special Right Triangles Trigonometric Functions Inverse

Right Triangle Trigonometry Special Right Triangles Trigonometric Functions Inverse

Chapter Three Right Triangle Trigonometry Special Right Triangles Trigonometric Functions Inverse Trigonometric Functions Special Right Triangles For all right triangles, a 2 + b 2 = c 2 , where a and b are the legs and c is the hypotenuse.

249 views • 4 slides
II : bustling :i Galois theory ) ( Fundamental Theorem of Thur - ids.ba , The and f

II : bustling :i Galois theory ) ( Fundamental Theorem of Thur - ids.ba , The and f

Fundamental Theorem worked examples II : bustling :i Galois theory ) ( Fundamental Theorem of Thur - ids.ba , The and f satisfy A. F F functions - ::i:: Galois ift Ciii ) KIF Alk ) of is iff FIH )

111 views • 9 slides

More recommend