Buchumschlag

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lobbia, Gabriele, Różowski, Wojciech, Sarkis, Ralph, Zanasi, Fabio
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Category Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Complete Diagrammatic Axiomatisations of Relative Entropy
von: Sarkis, Ralph, et al.
Veröffentlicht: (2026)

Graded String Diagrams for Imprecise Probability and Causal Intervention
von: Sarkis, Ralph, et al.
Veröffentlicht: (2025)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
von: Milosavljevic, Aleksandar, et al.
Veröffentlicht: (2022)

String Diagrams for $λ$-calculi and Functional Computation
von: Ghica, Dan, et al.
Veröffentlicht: (2023)

String Diagrams for Closed Symmetric Monoidal Categories
von: Reader, Callum, et al.
Veröffentlicht: (2025)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
von: Różowski, Wojciech, et al.
Veröffentlicht: (2026)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
von: Różowski, Wojciech
Veröffentlicht: (2024)

Tape Diagrams for Monoidal Monads
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
von: Lorenzin, Antonio, et al.
Veröffentlicht: (2025)

Tapes as Stochastic Matrices of String Diagrams
von: Bonchi, Filippo, et al.
Veröffentlicht: (2026)

Promonads and String Diagrams for Effectful Categories
von: Román, Mario
Veröffentlicht: (2022)

Layered Monoidal Theories II: Fibrational Semantics
von: Lobski, Leo, et al.
Veröffentlicht: (2026)

Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
von: Lorenzin, Antonio, et al.
Veröffentlicht: (2025)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
von: Lorenzin, Antonio, et al.
Veröffentlicht: (2025)

A Fibrational Theory of First Order Differential Structures
von: Capucci, Matteo, et al.
Veröffentlicht: (2024)

Monoidal Width
von: Di Lavore, Elena, et al.
Veröffentlicht: (2022)

Coinductive Streams in Monoidal Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2022)

Monoidal categories graded by partial commutative monoids
von: Earnshaw, Matthew, et al.
Veröffentlicht: (2026)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
von: Tiurin, Aleksei, et al.
Veröffentlicht: (2024)

Monoidal weak omega-categories as models of a type theory
von: Benjamin, Thibaut
Veröffentlicht: (2021)

Quantitative Equality in Substructural Logic via Lipschitz Doctrines
von: Dagnino, Francesco, et al.
Veröffentlicht: (2021)

Topological Dualities for Modal Algebras
von: Collinson, Matthew
Veröffentlicht: (2026)

Diagrammatic Polyhedral Algebra
von: Bonchi, Filippo, et al.
Veröffentlicht: (2021)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
von: D'Angelo, Keri, et al.
Veröffentlicht: (2025)

Diagrammatic Algebra of First Order Logic
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Monoidal Context Theory
von: Román, Mario
Veröffentlicht: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
von: Dagnino, Francesco, et al.
Veröffentlicht: (2024)

The Relational Quotient Completion
von: Dagnino, Francesco, et al.
Veröffentlicht: (2024)

Graphical Quadratic Algebra
von: Stein, Dario, et al.
Veröffentlicht: (2024)

Manifold Diagrams for Higher Categories
von: Heidemann, Lukas
Veröffentlicht: (2024)

Uniform Preorders and Partial Combinatory Algebras
von: Frey, Jonas
Veröffentlicht: (2024)

Between Markov and restriction: Two more monads on categories for relations
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2025)

Disconnection Rules are Complete for Chemical Reactions
von: Gale, Ella, et al.
Veröffentlicht: (2024)

Comodule Representations of Second-Order Functionals
von: Ahman, Danel, et al.
Veröffentlicht: (2024)

A categorical formulation of Kraus' paradox
von: Swan, Andrew W.
Veröffentlicht: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
von: Simpson, Alex
Veröffentlicht: (2024)

Groupoidal Realizability for Intensional Type Theory
von: Speight, Sam
Veröffentlicht: (2024)

An Introduction to Categorical Proof Theory
von: Tabatabai, Amirhossein Akbar
Veröffentlicht: (2024)

Coslice Colimits in Homotopy Type Theory
von: Hart, Perry, et al.
Veröffentlicht: (2024)

Reflexive graph lenses in univalent foundations
von: Sterling, Jonathan
Veröffentlicht: (2024)