Terminal Coalgebras for Measure-Polynomial Functors
Terminal Coalgebras for Measure-Polynomial Functors
复制标题
测度多项式函子的端余代数
DOI：
10.1007/978-3-642-02017-9_35
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
C. Schubert
中科院分区：
文献类型：
--
作者：
C. Schubert
我们利用测度论中的Kolmogorov一致性定理构造了可测空间范畴上一大类函子的终端余代数。特别地，我们构造了终端随机关系和终端标号马尔可夫过程。我们使用这种结构为这些结构中的情态逻辑和时态逻辑的规范解释提供扩展的表现力结果。
We use the Kolmogorov Consistency Theorem from Measure Theory to construct terminal coalgebras for a large class of functors on the category of measurable spaces. In particular, we construct terminal stochastic relations and terminal labelled Markov processes. We use this constructions to provide extended expressivity results for canonical interpretations of modal and temporal logics in these structures.