English
Related papers

Related papers: Causal Network Condensation

200 papers

This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and…

Category Theory · Mathematics 2012-07-31 Peter Selinger

We describe a coordinate-free notion of conformal nets as a mathematical model of conformal field theory. We define defects between conformal nets and introduce composition of defects, thereby providing a notion of morphism between…

Algebraic Topology · Mathematics 2010-10-12 Arthur Bartels , Christopher L. Douglas , André G. Henriques

We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

Category Theory · Mathematics 2018-08-29 John D. Berman

Growing networks have a causal structure. We show that the causality strongly influences the scaling and geometrical properties of the network. In particular the average distance between nodes is smaller for causal networks than for…

Disordered Systems and Neural Networks · Physics 2009-11-11 P. Bialas , Z. Burda , B. Waclaw

In this paper, we define a generalization of indexed categories and contextual categories which we call contextually indexed (contextual) categories. While contextual categories are models of ordinary type theories, contextually indexed…

Category Theory · Mathematics 2018-09-11 Valery Isaev

We present a general theory of Group equivariant Convolutional Neural Networks (G-CNNs) on homogeneous spaces such as Euclidean space and the sphere. Feature maps in these networks represent fields on a homogeneous base space, and layers…

Machine Learning · Computer Science 2020-01-10 Taco Cohen , Mario Geiger , Maurice Weiler

We develop a new framework for the study of complex continuous time dynamical systems based on viewing them as collections of interacting control modules. This framework is inspired by and builds upon the groupoid formalism of Golubitsky,…

Dynamical Systems · Mathematics 2011-04-07 R. E. Lee DeVille , Eugene Lerman

In many complex networks the vertices are ordered in time, and edges represent causal connections. We propose methods of analysing such directed acyclic graphs taking into account the constraints of causality and highlighting the causal…

Physics and Society · Physics 2015-07-07 James R. Clough , Jamie Gollings , Tamar V. Loach , Tim S. Evans

Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories of physics in terms of the (im)possibility to implement certain abstract "tasks" by means of physical processes. Process theory, on the other hand,…

We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species,…

Mathematical Physics · Physics 2021-10-26 William Norledge

We propose a layered hierarchical architecture called UCLA (Universal Causality Layered Architecture), which combines multiple levels of categorical abstraction for causal inference. At the top-most level, causal interventions are modeled…

Artificial Intelligence · Computer Science 2022-12-20 Sridhar Mahadevan

Let K be a commutative ring. In this article we construct a symmetric monoidal Quillen model structure on the category of small K-categories which enhances classical Morita theory. We then use it in order to obtain a natural tensor…

Category Theory · Mathematics 2019-10-09 Ivo Dell'Ambrogio , Gonçalo Tabuada

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…

Category Theory · Mathematics 2021-02-16 Steven V Sam , Andrew Snowden

We develop a category-theoretic criterion for determining the equivalence of causal models having different but homomorphic directed acyclic graphs over discrete variables. Following Jacobs et al. (2019), we define a causal model as a…

Machine Learning · Computer Science 2022-01-19 Jun Otsuka , Hayato Saigo

A categorical approach to linear control systems is introduced. Feedback actions on linear systems arises as a symmetric monoidal category. Stable feedback isomorphisms generalize enlargement of pairs of matrices. Subcategory of locally…

Commutative Algebra · Mathematics 2013-06-06 Miguel V. Carriegos , Ángel Luis Muñoz Castañeda

In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…

Category Theory · Mathematics 2023-07-11 Edward Morehouse

In this article we review our recent work on the causal structure of symmetric spaces and related geometric aspects of Algebraic Quantum Field Theory. Motivated by some general results on modular groups related to nets of von Neumann…

Mathematical Physics · Physics 2022-10-05 Karl-Hermann Neeb , Gestur Olafsson

We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams, monoidal theories provide a graphical…

Logic in Computer Science · Computer Science 2026-02-24 Leo Lobski , Fabio Zanasi

Deep neural networks are complex and opaque. As they enter application in a variety of important and safety critical domains, users seek methods to explain their output predictions. We develop an approach to explaining deep neural networks…

Artificial Intelligence · Computer Science 2018-02-05 Michael Harradon , Jeff Druce , Brian Ruttenberg

For any category ${\mathcal E}$ and monad $T$ thereon, we introduce the notion of $T$-simplicial object in ${\mathcal E}$. Any $T$-category in the sense of Burroni induces a $T$-simplicial object as its nerve. This nerve construction…

Category Theory · Mathematics 2026-03-13 Soichiro Fujii , Stephen Lack