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.2021.3
URN: urn:nbn:de:0030-drops-153581
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2021/15358/
Go to the corresponding LIPIcs Volume Portal

de Paiva, Valeria

Dialectica Comonads (Invited Talk)

pdf-format:
LIPIcs-CALCO-2021-3.pdf (0.7 MB)

Abstract

Dialectica categories are interesting categorical models of Linear Logic which preserve the differences between linear connectives that the logic is supposed to make, unlike some of the most traditional models like coherence spaces. They arise from the categorical modelling of Gödel’s Dialectica interpretation and seem to be having a revival: connections between Dialectica constructions and containers, lenses and polynomials have been described recently in the literature. In this note I will recap the basic Dialectica constructions and then go on to describe the less well-known interplay of comonads, coalgebras and comonoids that characterizes the composite functor standing for the "of course!" operator in dialectica categories. This composition of comonads evokes some work on stateful games by Laird and others, also discussed in the setting of Reddy’s system LLMS (Linear Logic Model of State).

BibTeX - Entry

@InProceedings{depaiva:LIPIcs.CALCO.2021.3,
  author =	{de Paiva, Valeria},
  title =	{{Dialectica Comonads}},
  booktitle =	{9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
  pages =	{3:1--3:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-212-9},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{211},
  editor =	{Gadducci, Fabio and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2021/15358},
  URN =		{urn:nbn:de:0030-drops-153581},
  doi =		{10.4230/LIPIcs.CALCO.2021.3},
  annote =	{Keywords: Dialectica categories, Linear logic, Comonads}
}

Keywords: Dialectica categories, Linear logic, Comonads
Collection: 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
Issue Date: 2021
Date of publication: 08.11.2021

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