:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wilson, Paul, Ghica, Dan, Zanasi, Fabio
Format:	Preprint
Published:	2022
Subjects:	Category Theory
Online Access:	https://arxiv.org/abs/2201.11738
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Rewriting Modulo Traced Comonoid Structure
by: Ghica, Dan R., et al.
Published: (2023)

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
by: Lorenzin, Antonio, et al.
Published: (2025)

Complete Diagrammatic Axiomatisations of Relative Entropy
by: Sarkis, Ralph, et al.
Published: (2026)

E-Graphs With Bindings
by: Tiurin, Aleksei, et al.
Published: (2025)

Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
by: Lorenzin, Antonio, et al.
Published: (2025)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
by: Lorenzin, Antonio, et al.
Published: (2025)

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

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
by: Tiurin, Aleksei, et al.
Published: (2024)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
by: Ghica, Dan R., et al.
Published: (2022)

A Fibrational Theory of First Order Differential Structures
by: Capucci, Matteo, et al.
Published: (2024)

Strictification and non-strictification of monoidal categories
by: Becerra, Jorge
Published: (2023)

An Enriched Approach to the Strictification of $(\infty,1)$-Categories
by: Strong, Kimball
Published: (2025)

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

Coherence for adjunctions in a $3$-category via string diagrams
by: Araújo, Manuel
Published: (2021)

Disconnection Rules are Complete for Chemical Reactions
by: Gale, Ella, et al.
Published: (2024)

Existence of groupoid models for diagrams of groupoid correspondences
by: Ko, Joanna, et al.
Published: (2022)

Homotopic morphisms and diagram theorems in extriangulated categories
by: Zhang, Chencheng, et al.
Published: (2026)

A layout algorithm for higher-dimensional string diagrams
by: Tataru, Calin, et al.
Published: (2023)

Coherence for Pseudo Commutative Monads
by: Manco, Diego
Published: (2025)

Generalized Reedy diagrams in tribes
by: Cherradi, El Mehdi
Published: (2026)

Rendering string diagrams recursively
by: Rubio-Madrigal, Celia, et al.
Published: (2024)

On diagrams of algebras
by: Hinich, Vladimir
Published: (2023)

Composition and Coherence: The Syntax of Operator Networks
by: Chang, Shih-Yu
Published: (2025)

Representations over diagrams of abelian categories II: Abelian model structures
by: Di, Zhenxing, et al.
Published: (2023)

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category Theory
by: Abbott, Vincent, et al.
Published: (2024)

Presenting Neural Networks via Coherent Functors
by: Pugh, Matthew, et al.
Published: (2026)

Metacat: a categorical framework for formal systems
by: Wilson, Paul
Published: (2026)

Context-Free Languages of String Diagrams
by: Earnshaw, Matt, et al.
Published: (2024)

String diagrams for $4$-categories and fibrations of mapping $4$-groupoids
by: Araújo, Manuel
Published: (2020)

Graphical Quadratic Algebra
by: Stein, Dario, et al.
Published: (2024)

String Diagrams for Premonoidal Categories
by: Román, Mario, et al.
Published: (2023)

Faithful linear and relational representations of diagram categories and monoids
by: East, James, et al.
Published: (2026)

Hybrid Quantum-Classical Machine Learning with String Diagrams
by: Koziell-Pipe, Alexander, et al.
Published: (2024)

Characterizations of standard derived equivalences of diagrams of dg categories and their gluings
by: Asashiba, Hideto, et al.
Published: (2022)

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

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

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