Injective Objects and Fibered Codensity Liftings - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

Injective Objects and Fibered Codensity Liftings

Résumé

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.
Fichier principal
Vignette du fichier
493577_1_En_7_Chapter.pdf (385.25 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03232347 , version 1 (21-05-2021)

Licence

Identifiants

Citer

Yuichi Komorida. Injective Objects and Fibered Codensity Liftings. 15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.112-132, ⟨10.1007/978-3-030-57201-3_7⟩. ⟨hal-03232347⟩
38 Consultations
43 Téléchargements

Altmetric

Partager

More