Relation lifting, a survey
journal contribution
posted on 2016-12-01, 15:46 authored by Alexander Kurz, J. VelebilWe 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.
History
Citation
Journal of Logical and Algebraic Methods in Programming, 2016, 85 (4), pp. 475-499 (25)Author affiliation
/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer ScienceVersion
- AM (Accepted Manuscript)
Published in
Journal of Logical and Algebraic Methods in ProgrammingPublisher
Elsevierissn
2352-2208Acceptance date
2015-08-24Available date
2016-12-01Publisher DOI
Publisher version
http://www.sciencedirect.com/science/article/pii/S2352220815000802Language
enAdministrator link
Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC