License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2023.19
URN: urn:nbn:de:0030-drops-188163
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/18816/
Go to the corresponding LIPIcs Volume Portal

Dubut, Jérémy

Aczel-Mendler Bisimulations in a Regular Category

pdf-format:
LIPIcs-CALCO-2023-19.pdf (0.8 MB)

Abstract

Aczel-Mendler bisimulations are a coalgebraic extension of a variety of computational relations between systems. It is usual to assume that the underlying category satisfies some form of axiom of choice, so that the theory enjoys desirable properties, such as closure under composition. In this paper, we accommodate the definition in a general regular category - which does not necessarily satisfy any form of axiom of choice. We show that this general definition 1) is closed under composition without using the axiom of choice, 2) coincides with other types of coalgebraic formulations under milder conditions, 3) coincides with the usual definition when the category has the regular axiom of choice. We then develop the particular case of toposes, where the formulation becomes nicer thanks to the power-object monad, and extend the formalism to simulations. Finally, we describe several examples in Stone spaces, toposes for name-passing, and modules over a ring.

BibTeX - Entry

@InProceedings{dubut:LIPIcs.CALCO.2023.19,
  author =	{Dubut, J\'{e}r\'{e}my},
  title =	{{Aczel-Mendler Bisimulations in a Regular Category}},
  booktitle =	{10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
  pages =	{19:1--19:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-287-7},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{270},
  editor =	{Baldan, Paolo and de Paiva, Valeria},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/18816},
  URN =		{urn:nbn:de:0030-drops-188163},
  doi =		{10.4230/LIPIcs.CALCO.2023.19},
  annote =	{Keywords: Regular Categories, Toposes, Bisimulations, Coalgebra}
}

Keywords: Regular Categories, Toposes, Bisimulations, Coalgebra
Collection: 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)
Issue Date: 2023
Date of publication: 02.09.2023

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI