Composition and recursion for causal structures

DOI10.4230/LIPICS.CALCO.2023.18MaRDI QIDQ6643064zbMATH OpenFDO

Authors Henning Basold, Tanjona Ralaivaosaona

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.CALCO.2023.18

zbMATH Keywords

causal morphismsfinal chainsfinal coalgebrasguarded recursionmetric mapstraced symmetric monoidal category

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(1)

• Fan-causality and uniform continuity on final coalgebras

This page was built for publication: Composition and recursion for causal structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643064)