:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bonchi, Filippo, Di Lavore, Elena, Román, Mario, Staton, Sam
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 18M50
Online Access:	https://arxiv.org/abs/2507.18238
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Timing via Pinwheel Double Categories
by: Di Lavore, Elena, et al.
Published: (2025)

Effectful Mealy Machines
by: Bonchi, Filippo, et al.
Published: (2024)

Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2025)

Order in Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2025)

A Simple Formal Language for Probabilistic Decision Problems
by: Di Lavore, Elena, et al.
Published: (2024)

A Diagrammatic Algebra for Program Logics
by: Bonchi, Filippo, et al.
Published: (2024)

Coinductive Streams in Monoidal Categories
by: Di Lavore, Elena, et al.
Published: (2022)

Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)

A Diagrammatic Basis for Computer Programming
by: Bonchi, Filippo, et al.
Published: (2025)

Monoidal Context Theory
by: Román, Mario
Published: (2024)

Evidential Decision Theory via Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2023)

Monoidal Width
by: Di Lavore, Elena, et al.
Published: (2022)

Graded Differential Categories and Graded Differential Linear Logic
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2023)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

An Internal Logic of Virtual Double Categories
by: Nasu, Hayato
Published: (2024)

Layered Monoidal Theories II: Fibrational Semantics
by: Lobski, Leo, et al.
Published: (2026)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
by: Lobski, Leo, et al.
Published: (2026)

Dialectica Petri Nets
by: Di Lavore, Elena, et al.
Published: (2021)

String Diagrams for Physical Duoidal Categories
by: Román, Mario
Published: (2024)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

The Flat Cover Conjecture for Monoid Acts
by: Cox, Sean
Published: (2025)

Graded Monad Coalgebras for Continuous-Time Transition Systems
by: Di Lavore, Elena, et al.
Published: (2026)

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

Categorical probability spaces, ergodic decompositions, and transitions to equilibrium
by: Ensarguet, Noé, et al.
Published: (2023)

Diagrammatic Algebra of First Order Logic
by: Bonchi, Filippo, et al.
Published: (2024)

Layered Monoidal Theories
by: Lobski, Leo
Published: (2025)

String Diagrams for Closed Symmetric Monoidal Categories
by: Reader, Callum, et al.
Published: (2025)

String Diagrams for Monoidal Categories, in Rocq
by: Pous, Damien
Published: (2026)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
by: Milosavljevic, Aleksandar, et al.
Published: (2022)

The Magmoid of Normalized Stochastic Kernels
by: Di Lavore, Elena, et al.
Published: (2025)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
by: Lambert, Michael J.
Published: (2024)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
by: Bonchi, Filippo, et al.
Published: (2024)

Diagrammatic Polyhedral Algebra
by: Bonchi, Filippo, et al.
Published: (2021)

The calculus of neo-Peircean relations
by: Bonchi, Filippo, et al.
Published: (2025)

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
by: Kilictas, Bugra, et al.
Published: (2025)

Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)

From categorized neural architectures to subexponential proof theory
by: Ovalle, Carlos Ramírez
Published: (2026)

Categories of quantum cpos
by: Kornell, Andre, et al.
Published: (2024)

A Coalgebraic Model of Quantum Bisimulation
by: Ceragioli, Lorenzo, et al.
Published: (2025)