2026-07-25T12:21:27Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18812 2024-03-06T11:01:55Z ddc:004 open_access

Coinductive Control of Inductive Data Types North, Paige Randall Péroux, Maximilien Inductive types enriched category theory algebraic data types algebra coalgebra 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Paige Randall North and Maximilien Péroux 2023 Is Part Of LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2023.15 urn:nbn:de:0030-drops-188129 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.15 eng https://creativecommons.org/licenses/by/4.0/legalcode