English
Related papers

Related papers: Rewriting Graphically with Symmetric Traced Monoid…

200 papers

The study of abstraction and composition - the focus of category theory - naturally leads to sophisticated diagrams which can encode complex algebraic semantics. Consequently, these diagrams facilitate a clearer visual comprehension of…

Category Theory · Mathematics 2024-06-27 Vincent Abbott , Gioele Zardini

Existing foundation models, such as CLIP, aim to learn a unified embedding space for multimodal data, enabling a wide range of downstream web-based applications like search, recommendation, and content classification. However, these models…

Machine Learning · Computer Science 2025-04-28 Yufei He , Yuan Sui , Xiaoxin He , Yue Liu , Yifei Sun , Bryan Hooi

In this contribution we investigate several extensions of the powerset that comprise arbitrarily nested subsets, and call them superpower set. This allows the definition of graphs with possibly infinitely nested nodes. additionally we…

Logic in Computer Science · Computer Science 2017-07-18 Julia Padberg

Graphs and hypergraphs combine expressive modeling power with algorithmic efficiency for a wide range of applications. Hedgegraphs generalize hypergraphs further by grouping hyperedges under a color/hedge. This allows hedgegraphs to model…

Data Structures and Algorithms · Computer Science 2025-10-30 Karthekeyan Chandrasekaran , Chandra Chekuri , Weihang Wang , Weihao Zhu

Scene graph representations enable structured visual understanding by modeling objects and their relationships, and have been widely used for multiview and 3D scene reasoning. Existing methods such as MSG learn scene graph embeddings in…

Computer Vision and Pattern Recognition · Computer Science 2026-04-21 Liyang Wang , Zeyu Zhang , Hao Tang

A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This…

General Relativity and Quantum Cosmology · Physics 2015-05-30 Bob Coecke , Raymond Lal

Quantum graphs have recently emerged as models of nonlinear optical, quantum confined systems with exquisite topological sensitivity and the potential for predicting structures with an intrinsic, off-resonance response approaching the…

Optics · Physics 2013-05-21 Rick Lytel , Shoresh Shafei , Mark G. Kuzyk

Rewriting systems are often defined as binary relations over a given set of objects. This simple definition is used to describe various properties of rewriting such as termination, confluence, normal forms etc. In this paper, we introduce a…

Logic in Computer Science · Computer Science 2011-06-01 Dominique Duval , Rachid Echahed , Frédéric Prost

In this paper, we revisit the split decomposition of graphs and give new combinatorial and algorithmic results for the class of totally decomposable graphs, also known as the distance hereditary graphs, and for two non-trivial subclasses,…

Discrete Mathematics · Computer Science 2011-04-19 Emeric Gioan , Christophe Paul

Many stochastic systems are built by wiring typed components together, but the wiring is often neither purely sequential nor type-homogeneous. This paper develops categorical semantics for such systems using ordered polycategories whose…

Category Theory · Mathematics 2026-05-01 Theodore Papamarkou

We introduce shortcut graphs and groups. Shortcut graphs are graphs in which cycles cannot embed without metric distortion. Shortcut groups are groups which act properly and cocompactly on shortcut graphs. These notions unify a surprisingly…

Group Theory · Mathematics 2021-09-10 Nima Hoda

The complicated syntax structure of natural language is hard to be explicitly modeled by sequence-based models. Graph is a natural structure to describe the complicated relation between tokens. The recent advance in Graph Neural Networks…

Computation and Language · Computer Science 2019-09-19 Wei Li , Shuheng Li , Shuming Ma , Yancheng He , Deli Chen , Xu Sun

Graph transformations definable in logic can be described using the notion of transductions. By understanding transductions as a basic embedding mechanism, which captures the possibility of encoding one graph in another graph by means of…

Combinatorics · Mathematics 2025-01-09 Michał Pilipczuk

We develop a new thermodynamic approach to stochastic graph-rewriting. The ingredients are a finite set of reversible graph-rewriting rules called generating rules, a finite set of connected graphs P called energy patterns and an energy…

Logic in Computer Science · Computer Science 2017-01-11 Vincent Danos , Russell Harmer , Ricardo Honorato-Zimmer

DisCoPy is a Python toolkit for computing with monoidal categories. It comes with two flexible data structures for string diagrams: the first one for planar monoidal categories based on lists of layers, the second one for symmetric monoidal…

Category Theory · Mathematics 2023-11-20 Alexis Toumi , Richie Yeung , Boldizsár Poór , Giovanni de Felice

Graphical models have been popularly used for capturing conditional independence structure in multivariate data, which are often built upon independent and identically distributed observations, limiting their applicability to complex…

Methodology · Statistics 2025-07-03 Yuwen Wang , Changyu Liu , Xin He , Junhui Wang

In fields ranging from business to systems biology, directed graphs with edges labeled by signs are used to model systems in a simple way: the nodes represent entities of some sort, and an edge indicates that one entity directly affects…

Category Theory · Mathematics 2026-03-20 John C. Baez , Adittya Chaudhuri

Graph learning from data represents a canonical problem that has received substantial attention in the literature. However, insufficient work has been done in incorporating prior structural knowledge onto the learning of underlying…

Machine Learning · Statistics 2019-04-23 Sandeep Kumar , Jiaxi Ying , José Vinícius de M. Cardoso , Daniel Palomar

Graph Masked Autoencoders (GMAEs) have emerged as a notable self-supervised learning approach for graph-structured data. Existing GMAE models primarily focus on reconstructing node-level information, categorizing them as single-scale GMAEs.…

Machine Learning · Computer Science 2026-03-19 Chuang Liu , Zelin Yao , Xueqi Ma , Mukun Chen , Luzhi Wang , Jia Wu , Wenbin Hu

This article aims to provide a novel formalization of the concept of computational irreducibility in terms of the exactness of functorial correspondence between a category of data structures and elementary computations and a corresponding…

Computational Complexity · Computer Science 2023-01-13 Jonathan Gorard