束論
束論(Lattice Theory)
半順序集合(Posets)
半束(Semilattice)
束(Lattice)
完備束(complete lattice)
完備半順序集合(Complete Partial Ordered Set; CPO)
有向完備半順序（directed complete partial order, DCPO）
ガロア接続(Galois Connection)
モジュラー束
HaskellだとAlgebra.Latticeで使えるっぽい。
Algebra.Lattice
確認用
Q. 束論
Q. 束(Lattice)
Q. 半束(Semilattice)
Q. 簡約律(吸収律)
Q. Posets
Q. CPO
参考
ガロア接続
半順序集合(Posets)
束論を勉強しよう (Let's Study Lattice Theory)
応用例
Preorder/Poset
Model of Concurrent Processes
Galois Connection
Formal concept analysis
Abstract interpretation
Relation between Syntax and Semantics of Logic
Galois Theory of Algebras
Semilattice- Heyting Algebra/Lattice
Structure of semigroup
intuitionistic logic
Structure of variety
Structure of smigroup
Fuzzy logic
Classical logic
Quantum logic
CPO
Semantics of programming languages
『順序集合や束などに関する基本的な概念の説明』
束 (束論) - Wikipedia
CSE206A: Lattices Algorithms and Applications (Fall 2017)
『数理情報学のための束論 Lattice Theory for Mathematical Informatics』
#束論 #数学