Category Theory

AG-2025.06-1123

math.CT

Large condensation in enriched $\infty$-categories

Devon Stockall

Using the language of enriched $\infty$-categories, we formalize and generalize the definition of fusion n-category, and an analogue of iterative condensation of $E_i$-algebras. The former was introduced by Johnson-Freyd, and the latter by Kong, Zhang, Zhao, and Zheng. This extends categorical condensation beyond fusion n-categories to all enriched monoidal $\infty$-categories with certain colimits. The resulting theory is capable of treating symmetries of arbitrary dimension and codimension that are enriched, continuous, derived, non-semisimple and non-separable. Additionally, we consider a truncated variant of the notion of condensation introduced by Gaiotto and Johnson-Freyd, and show that iterative condensation of monoidal monads and $E_i$-algebras provide examples. In doing so, we prove results on functoriality of Day convolution for enriched $\infty$-categories, and monoidality of two versions of the Eilenberg-Moore functor, which may be of independent interest.

AG-2024.11-728

math.CT

The Classification of Fusion 2-Categories

Thibault D. Décoppet, Peter Huston, Theo Johnson-Freyd, Dmitri Nikshych, David Penneys, Julia Plavnik, David Reutter, Matthew Yu

We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion 2-categories are immediate corollaries of our classification.

AG-2024.08-781

math.CT

Fusion 3-Categories for Duality Defects

Lakshya Bhardwaj, Thibault Décoppet, Sakura Schafer-Nameki, Matthew Yu

We study the fusion 3-categorical symmetries for quantum theories in (3+1)d with self-duality defects. Such defects have been realized physically by half-space gauging in theories with 1-form symmetries $A[1]$ for an abelian group $A$, and have found applications in the continuum and the lattice. These fusion 3-categories will be called (generalized) Tambara-Yamagami fusion 3-categories $(\mathbf{3TY})$. We consider the Brauer-Picard and Picard 4-groupoids to construct these categories using a 3-categorical version of the extension theory introduced by Etingof, Nikshych and Ostrik. These two 4-groupoids correspond to the construction of duality defects either directly in 4d, or from the 5d Symmetry Topological Field Theory (SymTFT). The Witt group of non-degenerate braided fusion 1-categories naturally appears in the aforementioned 4-groupoids and represents enrichments of standard duality defects by (2+1)d TFTs. Our main objective is to study graded extensions of the fusion 3-category $\mathbf{3Vect}(A[1])$. Firstly, we use invertible bimodule 3-categories and the Brauer-Picard 4-groupoid. Secondly, we use that the Brauer-Picard 4-groupoid of $\mathbf{3Vect}(A[1])$ can be identified with the Picard 4-groupoid of its Drinfeld center. Moreover, the Drinfeld center of $\mathbf{3Vect}(A[1])$, which represents topological defects of the SymTFT, is completely described by a sylleptic strongly fusion 2-category formed by topological surface defects of the SymTFT. These are classified by a finite abelian group equipped with an alternating 2-form. We relate the Picard 4-groupoid of the corresponding braided fusion 3-categories with a generalized Witt group constructed from certain graded braided fusion 1-categories using a twisted Deligne tensor product. We perform explicit computations for $\mathbb{Z}/2$ and $\mathbb{Z}/4$ graded $\mathbf{3TY}$ categories.

AG-2024.01-2085

math.CT

Reversing information flow: retrodiction in semicartesian categories

Arthur J. Parzygnat

In statistical inference, retrodiction is the act of inferring potential causes in the past based on knowledge of the effects in the present and the dynamics leading to the present. Retrodiction is applicable even when the dynamics is not reversible, and it agrees with the reverse dynamics when it exists, so that retrodiction may be viewed as an extension of inversion, i.e., time-reversal. Recently, an axiomatic definition of retrodiction has been made in a way that is applicable to both classical and quantum probability using ideas from category theory. Almost simultaneously, a framework for information flow in in terms of semicartesian categories has been proposed in the setting of categorical probability theory. Here, we formulate a general definition of retrodiction to add to the information flow axioms in semicartesian categories, thus providing an abstract framework for retrodiction beyond classical and quantum probability theory. More precisely, we extend Bayesian inference, and more generally Jeffrey's probability kinematics, to arbitrary semicartesian categories.

AG-2024.01-1551

math.CT

Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions

Matthew Di Meglio, Chris Heunen

We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and linear contractions in terms of simple category-theoretic structures and properties that do not refer to norms, continuity, or real numbers. This builds on Heunen, Kornell, and Van der Schaaf's easier characterisation of the category of all Hilbert spaces and linear contractions.

AG-2014.12-2207

math.CT

Completely positive projections and biproducts

Chris Heunen, Aleks Kissinger, Peter Selinger

The recently introduced CP*-construction unites quantum channels and classical systems, subsuming the earlier CPM-construction in categorical quantum mechanics. We compare this construction to two earlier attempts at solving this problem: freely adding biproducts to CPM, and freely splitting idempotents in CPM. The CP*-construction embeds the former, and embeds into the latter, but neither embedding is an equivalence in general.

AG-2014.12-187

math.CT

Grothendieck topologies on a poset

Bert Lindenhovius

We investigate Grothendieck topologies (in the sense of sheaf theory) on a poset $¶$ that are generated by some subset of $¶$. We show that such Grothendieck topologies exhaust all possibilities if and only if $¶$ is Artinian. If $¶$ is not Artinian, other families of Grothendieck topologies on $¶$ exist that are not generated by some subset of $¶$, but even those are related to the Grothendieck topologies generated by subsets. Furthermore, we investigate several notions of equivalences of Grothendieck topologies, and using a posetal version of the Comparison Lemma, a sheaf-theoretic result known as the Comparison Lemma, going back to Grothendieck et al \cite{SGA4}, we calculate the sheaves with respect to most of the Grothendieck topologies we have found.

AG-2014.08-1703

math.CT

Twisted actions of categorical groups

Saikat Chatterjee, Amitabha Lahiri, Ambar N. Sengupta

We develop a theory of twisted actions of categorical groups using a notion of semidirect product of categories. We work through numerous examples to demonstrate the power of these notions. Turning to representations, which are actions that respect vector space structures, we establish an analog of Schur's lemma in this context. Keeping new terminology to a minumum, we concentrate on examples exploring the essential new notions introduced.

AG-2014.08-010

math.CT

Gelfand spectra in Grothendieck toposes using geometric mathematics

Bas Spitters, Steven Vickers, Sander Wolters

In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra, A, a topos T(A) of sheaves on a locale and a commutative C*-algebra, a, within that topos. The Gelfand spectrum of a is a locale S in this topos, which is equivalent to a bundle over the base locale. We further develop this external presentation of the locale S, by noting that the construction of the Gelfand spectrum in a general topos can be described using geometric logic. As a consequence, the spectrum, seen as a bundle, is computed fibrewise. As a by-product of the geometricity of Gelfand spectra, we find an explicit external description of the spectrum whenever the topos is a functor category. As an intermediate result we show that locally perfect maps compose, so that the externalization of a locally compact locale in a topos of sheaves over a locally compact locale is locally compact, too.

AG-2014.04-2831

math.CT

Bogomolov multiplier, double class-preserving automorphisms and modular invariants for orbifolds

A. Davydov

We describe the group of braided tensor autoequivalences of the Drinfeld centre of a finite group $G$ isomorphic to the identity functor (just as a functor) as a semi-direct product $Aut^1_{br}(\Z(G))\ \simeq\ Out_{2-cl}(G)\ltimes B(G)\ $ of the group of double class preserving automorphisms and the Bogomolov multiplier of $G$. The Bogomolov multiplier $B(G)$ is the subgroup of its Schur multiplier $H^2(G,k^*)$ of classes vanishing on abelian subgroups of $G$. We show that elements of $Aut^1_{br}(\Z(G))$ give rise to different realisations of the charge conjugation modular invariant for $G$-orbifolds of holomorphic conformal field theories.

AG-2013.08-843

math.CT

Abstract Tensor Systems as Monoidal Categories

Aleks Kissinger

The primary contribution of this paper is to give a formal, categorical treatment to Penrose's abstract tensor notation, in the context of traced symmetric monoidal categories. To do so, we introduce a typed, sum-free version of an abstract tensor system and demonstrate the construction of its associated category. We then show that the associated category of the free abstract tensor system is in fact the free traced symmetric monoidal category on a monoidal signature. A notable consequence of this result is a simple proof for the soundness and completeness of the diagrammatic language for traced symmetric monoidal categories.

AG-2013.07-1340

math.CT

An alternative description of braided monoidal categories

Alexei Davydov, Ingo Runkel

We give an alternative presentation of braided monoidal categories. Instead of the usual associativity and braiding we have just one constraint (the b-structure). In the unital case, the coherence conditions for a b-structure are shown to be equivalent to the usual associativity, unit and braiding axioms. We also discuss the next dimensional version, that is, b-structures on bicategories. As an application, we show how special b-categories result in the Yang-Baxter equation, and how special b-bicategories produce Zamolodchikov's tetrahedron equation. Finally, we define a cohomology theory (the b-cohomology) which plays a role analogous to the one abelian group cohomology has for braided monoidal categories.

AG-2013.07-2049

math.CT

An alternative Gospel of structure: order, composition, processes

Bob Coecke

We survey some basic mathematical structures, which arguably are more primitive than the structures taught at school. These structures are orders, with or without composition, and (symmetric) monoidal categories. We list several `real life' incarnations of each of these. This paper also serves as an introduction to these structures and their current and potentially future uses in linguistics, physics and knowledge representation.

AG-2013.05-975

math.CT

Classical Structures Based on Unitaries

Peter Hines

Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper addresses the question of when, or whether, they may coincide. Provided all definitions are strict in the categorical sense, we show that this can never be the case. However, allowing for the defining axioms to be taken up to canonical isomorphism, a close connection between the classical structures of categorical quantum mechanics, and the categorical property of self-similarity familiar from logical and computational models becomes apparent. The required canonical isomorphisms are non-trivial, and mix both typed (multi-object) and untyped (single-object) tensors and structural isomorphisms; we give coherence results that justify this approach. We then give a class of examples where distinct self-similar structures at an object determine distinct matrix representations of arrows, in the same way as classical structures determine matrix representations in Hilbert space. We also give analogues of familiar notions from linear algebra in this setting such as changes of basis, and diagonalisation.

AG-2012.11-1108

math.CT

Theory of Interface: Category Theory, Directed Networks and Evolution of Biological Networks

Taichi Haruna

Biological networks have two modes. The first mode is static: a network is a passage on which something flows. The second mode is dynamic: a network is a pattern constructed by gluing functions of entities constituting the network. In this paper, first we discuss that these two modes can be associated with the category theoretic duality (adjunction) and derive a natural network structure (a path notion) for each mode by appealing to the category theoretic universality. The path notion corresponding to the static mode is just the usual directed path. The path notion for the dynamic mode is called lateral path which is the alternating path considered on the set of arcs. Their general functionalities in a network are transport and coherence, respectively. Second, we introduce a betweenness centrality of arcs for each mode and see how the two modes are embedded in various real biological network data. We find that there is a trade-off relationship between the two centralities: if the value of one is large then the value of the other is small. This can be seen as a kind of division of labor in a network into transport on the network and coherence of the network. Finally, we propose an optimization model of networks based on a quality function involving intensities of the two modes in order to see how networks with the above trade-off relationship can emerge through evolution. We show that the trade-off relationship can be observed in the evolved networks only when the dynamic mode is dominant in the quality function by numerical simulations. We also show that the evolved networks have features qualitatively similar to real biological networks by standard complex network analysis.

AG-2012.10-074

math.CT

Trichromatic Open Digraphs for Understanding Qubits

Alex Lang, Bob Coecke

We introduce a trichromatic graphical calculus for quantum computing. The generators represent three complementary observables that are treated on equal footing, hence reflecting the symmetries of the Bloch sphere. We derive the Euler angle decomposition of the Hadamard gate within it as well as the so-called supplementary relationships, which are valid equations for qubits that were not derivable within Z/X-calculus of Coecke and Duncan. More specifically, we have: dichromatic Z/X-calculus + Euler angle decomposition of the Hadamard gate = trichromatic calculus.

AG-2012.10-107

math.CT

The Born rule as structure of spectral bundles (extended abstract)

Bertfried Fauser, Guillaume Raynaud, Steven Vickers

Topos approaches to quantum foundations are described in a unified way by means of spectral bundles, where the base space is a space of contexts and each fibre is its spectrum. Differences in variance are due to the bundle being a fibration or opfibration. Relative to this structure, the probabilistic predictions of the Born rule in finite dimensional settings are then described as a section of a bundle of valuations. The construction uses in an essential way the geometric nature of the valuation locale monad.

AG-2012.04-1952

math.CT

Noncommutativity as a colimit

Benno van den Berg, Chris Heunen

Every partial algebra is the colimit of its total subalgebras. We prove this result for partial Boolean algebras (including orthomodular lattices) and the new notion of partial C*-algebras (including noncommutative C*-algebras), and variations such as partial complete Boolean algebras and partial AW*-algebras. The first two results are related by taking projections. As corollaries we find extensions of Stone duality and Gelfand duality. Finally, we investigate the extent to which the Bohrification construction, that works on partial C*-algebras, is functorial.

AG-2012.03-962

math.CT

Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

Aleks Kissinger

This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applications of string diagrams. String diagrams are used to represent a collection of processes, depicted as "boxes" with multiple (typed) inputs and outputs, depicted as "wires". If we allow plugging input and output wires together, we can intuitively represent complex compositions of processes, formalised as morphisms in a monoidal category. [...] The first major contribution of this dissertation is the introduction of a discretised version of a string diagram called a string graph. String graphs form a partial adhesive category, so they can be manipulated using double-pushout graph rewriting. Furthermore, we show how string graphs modulo a rewrite system can be used to construct free symmetric traced and compact closed categories on a monoidal signature. The second contribution is in the application of graphical languages to quantum information theory. We use a mixture of diagrammatic and algebraic techniques to prove a new classification result for strongly complementary observables. [...] We also introduce a graphical language for multipartite entanglement and illustrate a simple graphical axiom that distinguishes the two maximally-entangled tripartite qubit states: GHZ and W. [...] The third contribution is a description of two software tools developed in part by the author to implement much of the theoretical content described here. The first tool is Quantomatic, a desktop application for building string graphs and graphical theories, as well as performing automated graph rewriting visually. The second is QuantoCoSy, which performs fully automated, model-driven theory creation using a procedure called conjecture synthesis.

AG-2011.12-1468

math.CT

N-tuple groups and matched n-tuples of groups

Dany Majard

This paper proves that the category of vacant n-tuple groupoids is equivalent to the category of factorizations of groupoids by n subgroupoids. Moreover it extends this equivalence to the category of maximally exclusive n-tuple groupoids, that we define, and (n+1)-factorizations of groupoids with a normal abelian subgroupoid. Finally it shows that in the smooth case, such a factorization gives a presentation of the Poincaré group as a triple groupoid.

AG-2011.03-630

math.CT

Commutative Algebras in Fibonacci Categories

Alexei Davydov, Tom Booker

By studying NIM-representations we show that the Fibonacci category and its tensor powers are completely anisotropic; that is, they do not have any non-trivial separable commutative ribbon algebras. As an application we deduce that a chiral algebra with the representation category equivalent to a product of Fibonacci categories is maximal; that is, it is not a proper subalgebra of another chiral algebra. In particular the chiral algebras of the Yang-Lee model, the WZW models of G2 and F4 at level 1, as well as their tensor powers, are maximal.

AG-2010.11-947

math.CT

Chaos in Binary Category Computation

Carlos Pedro Gonçalves

Category computation theory deals with a web-based systemic processing that underlies the morphic webs, which constitute the basis of categorial logical calculus. It is proven that, for these structures, algorithmically incompressible binary patterns can be morphically compressed, with respect to the local connectivities, in a binary morphic program. From the local connectivites, there emerges a global morphic connection that can be characterized by a low length binary string, leading to the identification of chaotic categorial dynamics, underlying the algorithmically random pattern. The work focuses on infinite binary chains of C2, which is a category that implements an X-OR-based categorial logical calculus.

AG-2010.10-2833

math.CT

2-Modules and the Representation of 2-Rings

Fang Huang, Shao-Han Chen, Wei Chen, Zhu-Jun Zheng

In this paper, we develop 2-dimensional algebraic theory which closely follows the classical theory of modules. The main results are giving definitions of 2-module and the representation of 2-ring. Moreover, for a 2-ring $\cR$, we prove that its modules form a 2-Abelian category.

AG-2010.08-818

math.CT

Higher Dimensional Homology Algebra V:Injective Resolutions and Derived 2-Functors in ($\cR$-2-Mod)

Fang Huang, Shao-Han Chen, Wei Chen, Zhu-Jun Zheng

In this paper, we will construct the injective resolution of any $\cR$-2-module, define the right derived 2-functor, and give some related properties of the derived 2-functor in ($\cR$-2-Mod).

AG-2010.08-536

math.CT

Higher Dimensional Homology Algebra III:Projective Resolutions and Derived 2-Functors in (2-SGp)

Fang Huang, Shao-Han Chen, Wei Chen, Zhu-Jun Zheng

In this paper, we will define the derived 2-functor by projective resolution of any symmetric 2-group, and give some related properties of the derived 2-functor.

AG-2010.08-519

math.CT

Higher Dimensional Homology Algebra IV:Projective Resolutions and Derived 2-Functors in ($\cR$-2-Mod)

Fang Huang, Shao-Han Chen, Wei Chen, Zhu-Jun Zheng

In this paper, we will construct the projective resolution of any $\cR$-2-module, define the derived 2-functor and give some related properties of the derived 2-functor.

AG-2010.08-248

math.CT

The geometry of oriented cubes

Iain R. Aitchison

This reports on the fundamental objects revealed by Ross Street, which he called `orientals'. Street's work was in part inspired by Robert's attempts to use N-category ideas to construct nets of C*-algebras in Minkowski space for applications to relativistic quantum field theory: Roberts' additional challenge was that `no amount of staring at the low dimensional cocycle conditions would reveal the pattern for higher dimensions'. This report takes up this challenge, presenting a natural inductive construction of explicit cubical cocyle conditions, and gives three ways in which the simplicial ones can be derived from these. (A dual string-diagram version of this work, giving rise to a Pascal's triangle of diagrams for cocycle conditions, has been described elsewhere by Street). A consequence of this work is that the Yang-Baxter equation, the `pentagon of pentagons', and higher simplex equations, are in essence different manifestations of the same underlying abstract structure. There has been recent interest in higher-categories, by computer scientists investigating concurrency theory, as well as by physicists, among others. The dual `string' version of this paper makes clear the relationship with higher-dimensional simplex equations in physics. Much work in this area has been done since these notes were written: no attempt has been made to update the original report. However, all diagrams have been redrawn by computer, replacing all original hand-drawn pictures.

AG-2010.07-1902

math.CT

Completeness of dagger-categories and the complex numbers

Jamie Vicary

The complex numbers are an important part of quantum theory, but are difficult to motivate from a theoretical perspective. We describe a simple formal framework for theories of physics, and show that if a theory of physics presented in this manner satisfies certain completeness properties, then it necessarily includes the complex numbers as a mathematical ingredient. Central to our approach are the techniques of category theory, and we introduce a new category-theoretical tool, called the dagger-limit, which governs the way in which systems can be combined to form larger systems. These dagger-limits can be used to characterize the dagger-functor on the category of finite-dimensional Hilbert spaces, and so can be used as an equivalent definition of the inner product. One of our main results is that in a nontrivial monoidal dagger-category with all finite dagger-limits and a simple tensor unit, the semiring of scalars embeds into an involutive field of characteristic 0 and orderable fixed field.

AG-2010.06-810

math.CT

Higher Dimensional Homology Algebra II:Projectivity

Fang Huang, Shao-Han Chen, Wei Chen, Zhu-Jun Zheng

In this paper, we will prove that the 2-category (2-SGp) of symmetric 2-groups and 2-category ($\cR$-2-Mod) of $\cR$-2-modules(\cite{5}) have enough projective objects, respectively.

AG-2010.02-151

math.CT

Module categories for permutation modular invariants

Till Barmeier, Jurgen Fuchs, Ingo Runkel, Christoph Schweigert

We show that a braided monoidal category C can be endowed with the structure of a right (and left) module category over C \times C. In fact, there is a family of such module category structures, and they are mutually isomorphic if and only if C allows for a twist. For the case that C is premodular we compute the internal End of the tensor unit of C, and we show that it is an Azumaya algebra if C is modular. As an application to two-dimensional rational conformal field theory, we show that the module categories describe the permutation modular invariant for models based on the product of two identical chiral algebras. It follows in particular that all permutation modular invariants are physical.

AG-2010.01-1103

math.CT

Centre of an algebra

Alexei Davydov

Motivated by algebraic structures appearing in Rational Conformal Field Theory we study a construction associating to an algebra in a monoidal category a commutative algebra ({\em full centre}) in the monoidal centre of the monoidal category. We establish Morita invariance of this construction by extending it to module categories. As an example we treat the case of group-theoretical categories.

AG-2010.01-832

math.CT

A Cubical Set Approach to 2-Bundles with Connection and Wilson Surfaces

Joao Faria Martins, Roger Picken

In the context of non-abelian gerbes we define a cubical version of categorical group 2-bundles with connection over a smooth manifold. We define their two-dimensional parallel transport, study its properties, and define non-abelian Wilson surface functionals.

AG-2009.06-273

math.CT

An embedding theorem for Hilbert categories

Chris Heunen

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal unit is a simple generator embeds (weakly) monoidally into the category of pre-Hilbert spaces and adjointable maps, preserving adjoint morphisms and all finite (co)limits. An intermediate result that is important in its own right is that the scalars in such a category necessarily form an involutive field. In case of a Hilbert category, the embedding extends to the category of Hilbert spaces and continuous linear maps. The axioms for (pre-)Hilbert categories are weaker than the axioms found in other approaches to axiomatizing 2-Hilbert spaces. Neither enrichment nor a complex base field is presupposed. A comparison to other approaches will be made in the introduction.

AG-2008.09-251

math.CT

Higher dimensional algebras via colored PROPs

Donald Yau

Starting from any unital colored PROP $P$, we define a category $P(P)$ of shapes called $P$-propertopes. Presheaves on $P(P)$ are called $P$-propertopic sets. For $0 \leq n \leq \infty$ we define and study $n$-time categorified $P$-algebras as $P$-propertopic sets with some lifting properties. Taking appropriate PROPs $P$, we obtain higher categorical versions of polycategories, 2-fold monoidal categories, topological quantum field theories, and so on.

AG-2005.01-153

math.CT

Sums over Graphs and Integration over Discrete Groupoids

Domenico Fiorenza

We show that sums over graphs such as appear in the theory of Feynman diagrams can be seen as integrals over discrete groupoids. From this point of view, basic combinatorial formulas of the theory of Feynman diagrams can be interpreted as pull-back or push-forward formulas for integrals over suitable groupoids.