Tanjona Ralaivaosaona

dblp:355/6153 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2026 Fan-Causality and Uniform Continuity on Final Coalgebras
Henning Basold, Tanjona Ralaivaosaona, Jurriaan Rot
RAMICS2
2023 Composition and Recursion for Causal Structures
abstract
Causality appears in various contexts as a property where present behaviour can only depend on past events, but not on future events. In this paper, we compare three different notions of causality that capture the idea of causality in the form of restrictions on morphisms between coinductively defined structures, such as final coalgebras and chains, in fairly general categories. We then focus on one presentation and show that it gives rise to a traced symmetric monoidal category of causal morphisms. This shows that causal morphisms are closed under sequential and parallel composition and, crucially, under recursion.
Henning Basold, Tanjona Ralaivaosaona
CALCO2