Injective Objects and Fibered Codensity Liftings
Injective Objects and Fibered Codensity Liftings
复制标题
射射物体和纤维密度提升
DOI：
10.1007/978-3-030-57201-3_7
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Yuichi Komorida
中科院分区：
文献类型：
--
作者：
Yuichi Komorida
在计算机科学中，将沿振动的函数提升用于几种不同的目的。在煤桥理论中，它用于定义共同诱导谓词，例如模拟预订和三表现性。鳕鱼升起是获得沿振动的函子提升的方案。它概括了以前的一些提升方案，包括坎托维奇举重。在本文中，我们寻求一个称为纤维的功能子提升的属性。在Kantorovich举重的已知结果暗示中，我们确定了足够的条件，可以将鳕鱼抬起。我们看到这种情况适用于许多已研究的示例。作为应用程序，我们在类似于双性异性的概念上得出了一些结果。
Functor lifting along a fibration is used for several different purposes in computer science. In the theory of coalgebras, it is used to define coinductive predicates, such as simulation preorder and bisimilarity. Codensity lifting is a scheme to obtain a functor lifting along a fibration. It generalizes a few previous lifting schemes including the Kantorovich lifting. In this paper, we seek a property of functor lifting called fiberedness. Hinted by a known result for Kantorovich lifting, we identify a sufficient condition for a codensity lifting to be fibered. We see that this condition applies to many examples that have been studied. As an application, we derive some results on bisimilarity-like notions.
影响因子：
0.6
作者：
Baldan, Paolo;Bonchi, Filippo;Koenig, Barbara
通讯作者：
Koenig, Barbara