Cover Image

String Diagrams for Monoidal Categories, in Rocq

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Pous, Damien
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Adhesive category theory for graph rewriting in Rocq
by: Arsac, Samuel, et al.
Published: (2025)

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

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
by: Lobbia, Gabriele, et al.
Published: (2024)

Promonads and String Diagrams for Effectful Categories
by: Román, Mario
Published: (2022)

Continuous Algebras with Hypotheses
by: Mulder, Lukas, et al.
Published: (2026)

On Tools for Completeness of Kleene Algebra with Hypotheses
by: Pous, Damien, et al.
Published: (2022)

A finite presentation of graphs of treewidth at most three
by: Doumane, Amina, et al.
Published: (2024)

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

TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
by: Rosain, Johann, et al.
Published: (2026)

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

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

TensorRocq: Enabling diagrammatic reasoning in Rocq
by: Caldwell, Benjamin, et al.
Published: (2026)

Revisiting the Fast Fourier Transform in Rocq
by: Théry, Laurent
Published: (2022)

A Rocq Formalization of Monomial and Graded Orders
by: Boldo, Sylvie, et al.
Published: (2025)

Program Logics via Distributive Monoidal Categories
by: Bonchi, Filippo, et al.
Published: (2025)

A Rocq Formalization of Simplicial Lagrange Finite Elements
by: Boldo, Sylvie, et al.
Published: (2026)

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
by: Baudart, Guillaume, et al.
Published: (2026)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
by: Biernacka, Małgorzata, et al.
Published: (2022)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
by: Watanabe, Kazuki
Published: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
by: Watanabe, Kazuki, et al.
Published: (2024)

Nominal Sets in Rocq
by: Paranhos, Fabrício Sanches, et al.
Published: (2025)

Tapes as Stochastic Matrices of String Diagrams
by: Bonchi, Filippo, et al.
Published: (2026)

Complete Test Suites for Automata in Monoidal Closed Categories
by: Kocsis, Bálint, et al.
Published: (2024)

Manifold Diagrams for Higher Categories
by: Heidemann, Lukas
Published: (2024)

Graded String Diagrams for Imprecise Probability and Causal Intervention
by: Sarkis, Ralph, et al.
Published: (2025)

RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
by: Kozyrev, Andrei, et al.
Published: (2025)

A Monoidal View on Fixpoint Checks
by: Baldan, Paolo, et al.
Published: (2023)

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

String Diagrams for $λ$-calculi and Functional Computation
by: Ghica, Dan, et al.
Published: (2023)

Monoid Structures on Indexed Containers
by: De Pascalis, Michele, et al.
Published: (2025)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

Linear Arboreal Categories
by: Abramsky, Samson, et al.
Published: (2023)

Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)

Fuzzy Aristotelian Diagrams
by: Syropoulos, Apostolos
Published: (2024)

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

Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)

On Categories of Nested Conditions
by: Rensink, Arend, et al.
Published: (2024)

Symmetric Monoidal Smash Products in Homotopy Type Theory
by: Ljungström, Axel
Published: (2024)