Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/38793
Title: Relation lifting, a survey
Authors: Kurz, Alexander
Velebil, J.
First Published: 29-Oct-2015
Publisher: Elsevier
Citation: Journal of Logical and Algebraic Methods in Programming, 2016, 85 (4), pp. 475-499 (25)
Abstract: We survey work in category theory and coalgebra on how to extend a functor from maps to relations. This relation lifting has a universal property, which is presented in some detail and guides us to generalisations to monotone and many-valued relations. As applications, it is shown how different notions of bisimulation, simulation and modal logics do arise.
DOI Link: 10.1016/j.jlamp.2015.08.002
ISSN: 2352-2208
Links: http://www.sciencedirect.com/science/article/pii/S2352220815000802
http://hdl.handle.net/2381/38793
Version: Post-print
Status: Peer-reviewed
Type: Journal Article
Rights: Creative Commons “Attribution Non-Commercial No Derivatives” licence CC BY-NC-ND, further details of which can be found via the following link: http://creativecommons.org/licenses/by-nc-nd/4.0/ Archived with reference to SHERPA/RoMEO and publisher website.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
kv-relation-lifting.pdfPost-review (final submitted author manuscript)514.44 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.