Abstract:The flow of information through a complex system can be readily understood with category theory. However, negative information (e.g., what is not possible) does not have an immediately evident categorical representation. The formalization of nategories using unconventional composition addresses this issue, and lets imposed limitations on categories be considered. However, traditional nategories abandon core categorical constructs and rely on extensive mathematical development. This creates a divide between the consideration of positive and negative information composition. In this work, we show that negative information can be considered in a natural categorical manner. This is aided by functor string diagrams, a novel flexible diagrammatic approach that can intuitively show the operation of hom-functors and natural transformations in expressions. This insight reveals how to consider the composition of negative information with foundational categorical constructs without relying on enrichment. We present diagrammatic means to consider not only nategories, but preorders more broadly. This paper introduces diagrammatic methods for the consideration of triangle inequalities and co-designs $\mathbf{DP/Feas_{Bool}}$, showing how important cases of negative information composition can be categorically and diagrammatically approached. In particular, we develop systematic tools to rigorously consider imposed limitations on systems, advancing our mathematical understanding, and present intuitive diagrams which motivate widespread adoption and usage for various applications.

The Category-Theoretic Arithmetic of Information

Categorial Versus Modal Information Theory

On the categorical foundations of quantum information theory: Categories and the Cramer-Rao inequality

A Category Theory of Communication Theory

A General Theory of Information and Computation

Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow

Magnitude of arithmetic scalar and matrix categories

Multiscale Information Theory and the Marginal Utility of Information

On the fluid-fluid phase separation in charged-stabilized colloidal suspensions

Algebras of Information. A New and Extended Axiomatic Foundation

Markov Categories and Entropy

Homotopy Theoretic and Categorical Models of Neural Information Networks

Some physical applications of category theory

Conical Designs and Categorical Jordan Algebraic Post-Quantum Theories

Follow the Flow: sets, relations, and categories as special cases of functions with no domain

The Stories Of Logic And Information

Persistent obstruction theory for a model category of measures with applications to data merging

Diagrammatic Negative Information

Category Free Category Theory and Its Philosophical Implications

Monoidal categories in, and linking, geometry and algebra