预层范畴中的互模拟映射
Bisimulation maps in presheaf categories
摘要：
（小）范畴上的预层范畴是研究各种动力系统行为的合适语义论域。特别地，预层可以用来记录系统的执行，它们的态射对应于各种基于状态的系统的模拟映射。在本文中，我们引入了一个概念的互模拟映射之间的preheaves（或执行）捕捉众所周知的行为等价的抽象方式。我们证明了这个框架的多功能性，通过制定标准的互模拟，$\forall$ -公平的互模拟和分支互模拟的characterisations。
英文摘要：
The category of presheaves on a (small) category is a suitable semantic universe to study behaviour of various dynamical systems. In particular, presheaves can be used to record the executions of a system and their morphisms correspond to simulation maps for various kinds of state-based systems. In this paper, we introduce a notion of bisimulation maps between presheaves (or executions) to capture well known behavioural equivalences in an abstract way. We demonstrate the versatility of this framework by working out the characterisations for standard bisimulation, $\forall$-fair bisimulation, and branching bisimulation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
