Coinductive control of inductive data types

Paige Randall North, Maximilien Péroux

Research output: Working paperPreprintAcademic

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.
Original languageEnglish
PublisherarXiv
Pages1-22
DOIs
Publication statusPublished - 29 Mar 2023

Bibliographical note

22 pages, to appear in 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)

Keywords

  • math.CT
  • cs.LO

Fingerprint

Dive into the research topics of 'Coinductive control of inductive data types'. Together they form a unique fingerprint.

Cite this