Coinductive streams in monoidal categories

DOI10.46298/LMCS-21(3:18)2025MaRDI QIDQ6925617zbMATH OpenFDO

Authors Elena di Lavore, G. de Felice, Mario Román

Publication date 25 September 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(3:18)2025

zbMATH Keywords

coalgebradataflow programmingfeedbackmonoidal categorymonoidal streamsignal flow graphstochastic processstream

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• (Co)end Calculus
• A calculus of communicating systems
• A categorical semantics of signal flow graphs
• A compositional framework for Markov processes
• A final coalgebra theorem
• A fixpoint theorem for complete categories
• A mathematical theory of resources
• A proof of the Kahn principle for input/output automata
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Bicategories of processes
• Calculi for synchrony and asynchrony
• Categorical quantum mechanics
• Categories of partial maps
• Coalgebras and cartesian categories
• Comonadic notions of computation
• Concrete domains
• Differentiable causal computations via delayed trace
• DisCoPy: monoidal categories in Python
• Disintegration and Bayesian inversion via string diagrams
• Feedback, trace and fixed-point semantics
• Foundations of Software Science and Computation Structures
• Full abstraction for signal flow graphs
• Graphical Conjunctive Queries.
• scientific article; zbMATH DE number 1701358 (Why is no real title available?)
• scientific article; zbMATH DE number 5666832 (Why is no real title available?)
• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• scientific article; zbMATH DE number 4010480 (Why is no real title available?)
• scientific article; zbMATH DE number 4060692 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3493844 (Why is no real title available?)
• scientific article; zbMATH DE number 3505708 (Why is no real title available?)
• scientific article; zbMATH DE number 3566181 (Why is no real title available?)
• scientific article; zbMATH DE number 1305006 (Why is no real title available?)
• scientific article; zbMATH DE number 1314227 (Why is no real title available?)
• scientific article; zbMATH DE number 1093829 (Why is no real title available?)
• scientific article; zbMATH DE number 2172972 (Why is no real title available?)
• scientific article; zbMATH DE number 4115933 (Why is no real title available?)
• scientific article; zbMATH DE number 3446382 (Why is no real title available?)
• scientific article; zbMATH DE number 7453967 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3335051 (Why is no real title available?)
• Intensional and extensional semantics of dataflow programs
• Introduction to coalgebra. Towards mathematics of states and observation
• Linear logic, coherence and dinaturality
• Lucid, a nonprocedural language with iteration
• Memoryful geometry of interaction: from coalgebraic components to algebraic effects
• Natural deduction and coherence for weakly distributive categories
• On terminal coalgebras derived from initial algebras
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Practical coinduction
• Premonoidal categories as categories with algebraic structure
• Programming Languages and Systems
• Range categories. I: General theory
• Restriction categories. I: Categories of partial maps
• Reversibility and stochastic networks. With a new preface
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Stream Processors and Comodels.
• Structural induction and coinduction in a fibrational setting
• Synchronous Kahn networks
• Syntactic and semantic soundness of structural dataflow analysis
• The geometry of tensor calculus. I
• Timely dataflow: a model
• Traced monoidal categories
• Universal coalgebra: A theory of systems
• Weakly distributive categories

This page was built for publication: Coinductive streams in monoidal categories

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