迈向可逆事件结构的范畴表示

我们研究可逆计算的范畴，聚焦于事件结构的可逆形式。事件结构是真并发的一个成熟模型。存在多种事件结构形式，包括素事件结构、非对称事件结构和一般事件结构。近来，这些类型事件结构的可逆形式已被定义。我们构造了相应的范畴及它们之间的函子。我们证明在许多情况下存在积与余积。在大多数可逆计算工作（包括可逆进程演算）中，都假定了因果保持条件，即事件的原因不能在事件本身之前被逆转。由于可逆事件结构一般不被假定为因果保持的，我们还定义了这些事件结构的因果保持子范畴。我们的长期目标是为可逆进程演算建立事件结构语义。