Buchumschlag

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Milosavljevic, Aleksandar, Piedeleu, Robin, Zanasi, Fabio
Format:	Preprint
Veröffentlicht:	2022
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

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

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
von: Lobbia, Gabriele, et al.
Veröffentlicht: (2024)

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

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

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

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

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

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

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

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

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

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

Left-Linear Rewriting in Adhesive Categories
von: Baldan, Paolo, et al.
Veröffentlicht: (2024)

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

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

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

Rewriting Systems on Arbitrary Monoids
von: Magalhães, Eduardo
Veröffentlicht: (2026)

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

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

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

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
von: Barile, Adriano, et al.
Veröffentlicht: (2024)

Rewriting Modulo Traced Comonoid Structure
von: Ghica, Dan R., et al.
Veröffentlicht: (2023)

Classical Distributive Restriction Categories
von: Cockett, Robin, et al.
Veröffentlicht: (2023)

Interacting Monoidal Structures with Applications in Computing
von: Cranch, James, et al.
Veröffentlicht: (2024)

On the Axioms of Arboreal Categories
von: Jakl, Tomáš, et al.
Veröffentlicht: (2026)

Linear Arboreal Categories
von: Abramsky, Samson, et al.
Veröffentlicht: (2023)

Arboreal Categories: An Axiomatic Theory of Resources
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

Resourceful Traces for Commuting Processes
von: Earnshaw, Matthew, et al.
Veröffentlicht: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Composable Uncertainty in Symmetric Monoidal Categories for Design Problems
von: Furter, Marius, et al.
Veröffentlicht: (2026)

Univalent Double Categories
von: van der Weide, Niels, et al.
Veröffentlicht: (2023)

Layered Monoidal Theories
von: Lobski, Leo
Veröffentlicht: (2025)

Monoidal Relative Categories Model Monoidal $\infty$-Categories
von: Arakawa, Kensuke
Veröffentlicht: (2025)

Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads
von: Paquet, Hugo, et al.
Veröffentlicht: (2023)

Elgot Categories and Abacus Programs
von: Nester, Chad
Veröffentlicht: (2025)

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

The Category of Operator Spaces and Complete Contractions
von: Lindenhovius, Bert, et al.
Veröffentlicht: (2024)

Synthetic 1-Categories in Directed Type Theory
von: Altenkirch, Thorsten, et al.
Veröffentlicht: (2024)

Univalent Enriched Categories and the Enriched Rezk Completion
von: van der Weide, Niels
Veröffentlicht: (2024)

The Strict 2-Category Structure of Distorted Monoidal Categories
von: Higuchi, Joaquim Reizi
Veröffentlicht: (2025)