Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic modal logic

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (1 more author) (2022) Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic modal logic. In: Hansen, H.H. and Zanasi, F., (eds.) Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022), 02-03 Apr 2022, Munich, Germany. Lecture Notes in Computer Science (13225). Springer Nature , pp. 1-22. ISBN 9783031107351

Abstract

We study coalgebraic modal logic to characterise behavioural equivalence in the presence of side effects, i.e., when coalgebras live in a (co)Kleisli or an Eilenberg-Moore category. Our aim is to develop a general framework based on indexed categories/fibrations that is common to the aforementioned categories. In particular, we show how the coalgebraic notion of behavioural equivalence arises from a relation lifting (a special kind of indexed morphism) and we give a general recipe to construct such liftings in the above three cases. Lastly, we apply this framework to derive logical characterisations for (weighted) language equivalence and conditional bisimilarity.

Metadata

Authors/Creators:	Beohar, H. https://orcid.org/0000-0001-5256-1334 König, B. Küpper, S. Mika-Michalski, C.
Copyright, Publisher and Additional Information:	© 2022 IFIP International Federation for Information Processing.
Keywords:	(co)Kleisli categories; Indexed morphisms; Indexed categories/fibrations
Dates:	Published (online): 23 July 2022 Published: 23 July 2022
Institution:	The University of Sheffield
Academic Units:	The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User:	Symplectic Sheffield
Date Deposited:	28 Jul 2022 11:21
Last Modified:	28 Jul 2022 11:21
Status:	Published
Publisher:	Springer Nature
Series Name:	Lecture Notes in Computer Science
Refereed:	Yes
Identification Number:	https://doi.org/10.1007/978-3-031-10736-8_1
Related URLs:	Conference arXiv URL

CORE (COnnecting REpositories)

Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic modal logic

Abstract

Metadata

Download not available

Export

Statistics