Quantitative polynomial functors

Nakov, Georgi and Forsberg, Fredrik Nordvall; Gadducci, Fabio and Silva, Alexandra, eds. (2021) Quantitative polynomial functors. In: 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, AUT, 22:1-22:5. ISBN 9783959772129 (https://doi.org/10.4230/LIPIcs.CALCO.2021.22)

[thumbnail of Nakov-Forsberg-CALCO-2021-Quantitative-polynomial]
Preview
Text. Filename: Nakov_Forsberg_CALCO_2021_Quantitative_polynomial.pdf
Final Published Version
License: Creative Commons Attribution 4.0 logo

Download (282kB)| Preview

Abstract

We investigate containers and polynomial functors in Quantitative Type Theory, and give initial algebra semantics of inductive data types in the presence of linearity. We show that reasoning by induction is supported, and equivalent to initiality, also in the linear setting.