半框架：半拓扑与可行动联盟的代数结构

我们引入半框架（一种代数结构）并研究其与半拓扑（一种拓扑结构）的对偶性。半拓扑与半框架都是相对近期的发展，源于将拓扑思想新颖地应用于研究去中心化计算系统。半拓扑通过移除开集之交必为开集的条件来推广拓扑。其动机来自于将分布式系统中的可行动联盟概念——一组拥有足够资源以使其成员协作采取某行动的参与者——等同于开集；因为仅因两个集合可行动（拥有行动资源）并不意味着它们的交也可行动。我们定义范畴与态射的概念，并证明（ sober）半框架与（spatial）半拓扑之间的范畴对偶性，且考察那些与理解去中心化系统相关的关键良态性质如何跨越对偶性转移（或不转移）。