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.15
URN: urn:nbn:de:0030-drops-188129
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/18812/
Go to the corresponding LIPIcs Volume Portal

North, Paige Randall ; Péroux, Maximilien

Coinductive Control of Inductive Data Types

pdf-format:
LIPIcs-CALCO-2023-15.pdf (0.7 MB)

Abstract

We combine the theory of inductive data types with the theory of universal measurings. By doing so, we find that many categories of algebras of endofunctors are actually enriched in the corresponding category of coalgebras of the same endofunctor. The enrichment captures all possible partial algebra homomorphisms, defined by measuring coalgebras. Thus this enriched category carries more information than the usual category of algebras which captures only total algebra homomorphisms. We specify new algebras besides the initial one using a generalization of the notion of initial algebra.

BibTeX - Entry

@InProceedings{north_et_al:LIPIcs.CALCO.2023.15,
  author =	{North, Paige Randall and P\'{e}roux, Maximilien},
  title =	{{Coinductive Control of Inductive Data Types}},
  booktitle =	{10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
  pages =	{15:1--15:17},
  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/18812},
  URN =		{urn:nbn:de:0030-drops-188129},
  doi =		{10.4230/LIPIcs.CALCO.2023.15},
  annote =	{Keywords: Inductive types, enriched category theory, algebraic data types, algebra, coalgebra}
}

Keywords: Inductive types, enriched category theory, algebraic data types, algebra, 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