见证结构与即时快照复形

在本文中，我们引入并研究了一族新的组合单纯复形，我们称之为即时快照复形。我们的构造和术语强烈受理论分布式计算的启发，因为这些复形是与即时快照读/写共享内存通信模型相关联的标准协议复形的组合模型。为了定义即时快照复形，我们需要一种新的组合对象，我们称之为见证结构。这些对象对即时快照复形中的单纯形进行索引，而对其执行的一种称为“虚化”（ghosting）的特殊操作描述了取单纯形边界的组合学。总体而言，我们发展了见证结构理论，并利用它证明了即时快照复形的若干组合性质及拓扑性质。