Abstract:String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this fact, the dual nature of polygraphs as presentations of higher algebraic theories, and as combinatorial descriptions of "directed spaces". Operations of polygraphs modelled on operations of topological spaces are used as the foundation of a compositional universal algebra, where sliding moves arise from tensor products of polygraphs. We reconstruct several higher algebraic theories in this framework. In this regard, the standard formalism of polygraphs has some technical problems. We propose a notion of regular polygraph, barring cell boundaries that are not homeomorphic to a disk of the appropriate dimension. We define a category of non-degenerate shapes, and show how to calculate their tensor products. Then, we introduce a notion of weak unit to recover weakly degenerate boundaries in low dimensions, and prove that the existence of weak units is equivalent to a representability property. We then turn to applications of diagrammatic algebra to quantum theory. We re-evaluate the category of Hilbert spaces from the perspective of categorical universal algebra, which leads to a bicategorical refinement. Then, we focus on the axiomatics of fragments of quantum theory, and present the ZW calculus, the first complete diagrammatic axiomatisation of the theory of qubits. The ZW calculus has several advantages over ZX calculi, including a computationally meaningful normal form, and a fragment whose diagrams can be read as setups of fermionic oscillators. Moreover, its generators reflect an operational classification of entangled states of 3 qubits. We conclude with generalisations of the ZW calculus to higher-dimensional systems, including the definition of a universal set of generators in each dimension.

Multidimensional Representation of Semantic Relations between Physical Theories, Fundamental Constants and Units of Measurement with Formal Concept Analysis

Multidimensional representation of semantic relations between physical theories, fundamental constants and units of measurement with formal concept analysis

Species of structure and physical dimensions

On the lattice of conceptual measurements

A String-Graph Approach to Molecular Geometry

Quantum aspects of high dimensional formal representation of conceptual spaces

An Unified CGA-Based Formal Expression of Spatio-Temporal Topological Relations for Computation and Analysis of Geographic Objects

A Unified Semantics Space Model

Apriorics: Information and Graphs in the Description of the Fundamental Particles—A Mathematical Proof

On the geometry of physical measurements: topological and algebraic aspects

An Observer-Based View of Euclidean Geometry

The role of perceptual and action effector strength of graphs and bases of mathematical metaphors in the metaphorical processing of mathematical concepts

Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches

Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories

A Possible Mathematical Structure for Physics

An Alternative Framework of Geometry and Topology in Relativity

Network of scientific concepts: empirical analysis and modeling

The algebra of entanglement and the geometry of composition

A Universal Machine for Biform Theory Graphs

Information retrieval in Current Research Information Systems