On Kleisli liftings and decorated trace semantics

It is well known that Kleisli categories provide a natural language to model side effects. For instance, in the theory of coalgebras, behavioural equivalence coincides with language equivalence (instead of bisimilarity) when nondeterministic automata are modelled as coalgebras living in the Kleisli...

Full description

Saved in:
Bibliographic Details
Published in:Electronic Notes in Theoretical Informatics and Computer Science Vol. 4 - Proceedings of...
Main Authors: Luckhardt, Daniel, Beohar, Harsh, Küpper, Sebastian
Format: Journal Article
Language:English
Published: 11.12.2024
ISSN:2969-2431, 2969-2431
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract It is well known that Kleisli categories provide a natural language to model side effects. For instance, in the theory of coalgebras, behavioural equivalence coincides with language equivalence (instead of bisimilarity) when nondeterministic automata are modelled as coalgebras living in the Kleisli category of the powerset monad. In this paper, our aim is to establish decorated trace semantics based on language and ready equivalences for conditional transition systems (CTSs) with/without upgrades. To this end, we model CTSs as coalgebras living in the Kleisli category of a relative monad. Our results are twofold. First, we reduce the problem of defining a Kleisli lifting for the machine endofunctor in the context of a relative monad to the classical notion of Kleisli lifting. Second, we provide a recipe based on indexed categories to construct a Kleisli lifting for general endofunctors. Comment: 40th Conference on Mathematical Foundations of Programming Semantics (MFPS)
AbstractList It is well known that Kleisli categories provide a natural language to model side effects. For instance, in the theory of coalgebras, behavioural equivalence coincides with language equivalence (instead of bisimilarity) when nondeterministic automata are modelled as coalgebras living in the Kleisli category of the powerset monad. In this paper, our aim is to establish decorated trace semantics based on language and ready equivalences for conditional transition systems (CTSs) with/without upgrades. To this end, we model CTSs as coalgebras living in the Kleisli category of a relative monad. Our results are twofold. First, we reduce the problem of defining a Kleisli lifting for the machine endofunctor in the context of a relative monad to the classical notion of Kleisli lifting. Second, we provide a recipe based on indexed categories to construct a Kleisli lifting for general endofunctors. Comment: 40th Conference on Mathematical Foundations of Programming Semantics (MFPS)
Author Luckhardt, Daniel
Beohar, Harsh
Küpper, Sebastian
Author_xml – sequence: 1
  givenname: Daniel
  surname: Luckhardt
  fullname: Luckhardt, Daniel
– sequence: 2
  givenname: Harsh
  surname: Beohar
  fullname: Beohar, Harsh
– sequence: 3
  givenname: Sebastian
  surname: Küpper
  fullname: Küpper, Sebastian
BookMark eNpNzztrwzAUBWBRUmiaZsyuP-BUVw_LGkvoiwayZDfX0lUQOHKRvPTfF5wOnc6ZzuF7ZKs8ZWJsB2KvW-m6Z8pz8nUP2hq4Y2vpWtdIrWD1rz-wba1pEAZEZ4yzawanzL9GSnVMfExxTvlSOebAA_mp4EyBzwU98UpXXB6e2H3EsdL2Lzfs_PZ6Pnw0x9P75-Hl2HhroQmdVBL1ANbrEL1A5xS1pkVnRGytBCU12TB4E2kQUnshlEEpKCAM1Gm1Yc1t1pep1kKx_y7piuWnB9Ev4v4m7hex-gV56EvV
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.46298/entics.14751
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList CrossRef
DeliveryMethod fulltext_linktorsrc
EISSN 2969-2431
ExternalDocumentID 10_46298_entics_14751
GroupedDBID AAFWJ
AAYXX
ADQAK
CITATION
M~E
ID FETCH-LOGICAL-c771-d8232a4b17c4dfc0a993e656a950f6721324e7dbc5feb024c0035a20eda1be843
ISSN 2969-2431
IngestDate Wed Oct 29 21:22:19 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
License https://creativecommons.org/licenses/by-nc-nd/4.0
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c771-d8232a4b17c4dfc0a993e656a950f6721324e7dbc5feb024c0035a20eda1be843
OpenAccessLink https://entics.episciences.org/14751/pdf
ParticipantIDs crossref_primary_10_46298_entics_14751
PublicationCentury 2000
PublicationDate 2024-12-11
PublicationDateYYYYMMDD 2024-12-11
PublicationDate_xml – month: 12
  year: 2024
  text: 2024-12-11
  day: 11
PublicationDecade 2020
PublicationTitle Electronic Notes in Theoretical Informatics and Computer Science
PublicationYear 2024
SSID ssib051085597
Score 2.2767239
Snippet It is well known that Kleisli categories provide a natural language to model side effects. For instance, in the theory of coalgebras, behavioural equivalence...
SourceID crossref
SourceType Index Database
Title On Kleisli liftings and decorated trace semantics
Volume 4 - Proceedings of...
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2969-2431
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssib051085597
  issn: 2969-2431
  databaseCode: M~E
  dateStart: 20230101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Pr9JAEN7w0IMXo1Hj7_RgvJBiu91226MSDAkKHojh1rTd2UjkFYKFcHp_-5v9CRoOz8O7NGTTbtp-w-w32_lmCPkQCSgyFZ0UCfCQsQJCDIPqULF7xoWURkj78xufzfLlsvjR6x2cFuaw5m2bH4_F9l6hxjEEW0ln_wNuPykO4G8EHY8IOx7vBPy8HUzXsEL-OFivZKfbcqrdcaECzUoRzG5XqcKycI1v1SW7u835U1ec2abTyVpGvm-1jla95Gs7u6YQzkf4_J5981vpubqTjN0H_rD5ZbK6JxhU-93oqfpk_2W03dpOYIDra-ds125LUF380LpN7b0omkBImXXxcGHMul82CI0oQi_WKn9lOBxecu4so0WuIVUPiS6e21K1fxXR_mdx8ymHGOzoCUpzeakvvyIPKE8LlQr4_Wbs_FCqFBmp7svj79iUZ9UzfDq_gTM6c8ZLFk_IYxtQBJ-NITwlPWifkXjeBtYIAmcEAeIVeCMItBEE3giek8XX8WI0CW1zjLDhPA5FjlS4YnXMGyZkE1XIMwG5eVWkkcwwrEeiDFzUKpmwRnga9cm4ohGIKq4hZ8kL0m83LbwkQYb_47iWsZQ0ZVQmtYCoprTKEsESaLJX5KN7xHJrSqCUF9_m67ue-IY8OpnMW9Lvdnt4Rx42h271Z_deY3ELMRZVbA
linkProvider ISSN International Centre
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=On+Kleisli+liftings+and+decorated+trace+semantics&rft.jtitle=Electronic+Notes+in+Theoretical+Informatics+and+Computer+Science&rft.au=Luckhardt%2C+Daniel&rft.au=Beohar%2C+Harsh&rft.au=K%C3%BCpper%2C+Sebastian&rft.date=2024-12-11&rft.issn=2969-2431&rft.eissn=2969-2431&rft.volume=4+-+Proceedings+of...&rft_id=info:doi/10.46298%2Fentics.14751&rft.externalDBID=n%2Fa&rft.externalDocID=10_46298_entics_14751
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2969-2431&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2969-2431&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2969-2431&client=summon