| Publication | Date of Publication | Type |
|---|
String Diagrams for Premonoidal Categories
(available as arXiv preprint) | N/A | Paper |
Monoidal Context Theory
(available as arXiv preprint) | N/A | Paper |
Context-Free Languages of String Diagrams
(available as arXiv preprint) | N/A | Paper |
| Order in partial Markov categories | 2026-08-11 | Paper |
| Effectful mealy machines: coalgebraic and causal traces (invited talk) | 2026-07-16 | Paper |
| Evidential decision theory via partial Markov categories | 2026-02-27 | Paper |
| The produoidal algebra of process decomposition | 2026-02-19 | Paper |
The Magmoid of Normalized Stochastic Kernels
(available as arXiv preprint) | 2026-01-01 | Paper |
Monoidal categories graded by partial commutative monoids
(available as arXiv preprint) | 2026-01-01 | Paper |
| Context-free languages of string diagrams | 2025-12-04 | Paper |
Coinductive streams in monoidal categories
Logical Methods in Computer Science | 2025-09-25 | Paper |
| Optics for premonoidal categories | 2025-08-05 | Paper |
| Collages of string diagrams | 2025-08-05 | Paper |
String diagrams for premonoidal categories
Logical Methods in Computer Science | 2025-05-06 | Paper |
Partial Markov Categories
(available as arXiv preprint) | 2025-01-01 | Paper |
Timing via Pinwheel Double Categories
(available as arXiv preprint) | 2025-01-01 | Paper |
Resourceful Traces for Commuting Processes
(available as arXiv preprint) | 2025-01-01 | Paper |
| Monoidal streams for dataflow programming | 2024-12-06 | Paper |
Profunctor optics, a categorical update
Compositionality | 2024-05-10 | Paper |
Cornering Optics
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
Promonads and String Diagrams for Effectful Categories
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
String Diagrams for Physical Duoidal Categories
(available as arXiv preprint) | 2024-01-01 | Paper |
Effectful Mealy Machines: Bisimulation and Trace
(available as arXiv preprint) | 2024-01-01 | Paper |
| Collages of String Diagrams | 2023-05-04 | Paper |
| Optics for Premonoidal Categories | 2023-05-04 | Paper |
| Evidential Decision Theory via Partial Markov Categories | 2023-01-30 | Paper |
| The Produoidal Algebra of Process Decomposition | 2023-01-27 | Paper |
| Coinductive Streams in Monoidal Categories | 2022-12-29 | Paper |
| Monoidal Streams for Dataflow Programming | 2022-02-04 | Paper |
Open diagrams via coend calculus
(available as arXiv preprint) | 2022-01-10 | Paper |
| Open diagrams via coend calculus | 2022-01-10 | Paper |
scientific article; zbMATH DE number 7454911 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7454911 (Why is no real title available?) | 2022-01-10 | Paper |
| Span(Graph): a Canonical Feedback Algebra of Open Transition Systems | 2020-10-20 | Paper |
| Profunctor optics and traversals | 2020-01-22 | Paper |
Profunctor optics and traversals
(available as arXiv preprint) | 2020-01-01 | Paper |
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems
(available as arXiv preprint) | 2020-01-01 | Paper |
