Stone对偶相关论文
序结构、拓扑结构和代数结构并称数学中的三大母结构,三大结构的相互交叉与融合极大地推动了数学本身的发展.Stone对偶理论是20世......
余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr?der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个r......