Related papers: Tangled Circuits
Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…
This paper has two tightly intertwined aims: (i) To introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information.…
We construct a separable Frobenius monoidal functor from $\mathcal{Z}\big(\mathsf{Vect}_H^{\omega|_H}\big)$ to $\mathcal{Z}\big(\mathsf{Vect}_G^\omega\big)$ for any subgroup $H$ of $G$ which preserves braiding and ribbon structure. As an…
This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to…
Frobenius extensions play a central role in the link homology theories based upon the sl(n) link variants, and each of these Frobenius extensions may be recast geometrically via a category of marked cobordisms in the manner of Bar-Natan.…
We classify indecomposable commutative separable (special Frobenius) algebras and their local modules in (untwisted) group-theoretical modular categories. This gives a description of modular invariants for group-theoretical modular data. As…
We introduce M\"obius strip diagram algebras (and their monoid and categorical versions) as subalgebras of a partition-style diagram calculus in which strands may carry handles and M\"obius strip features. We identify the resulting diagram…
Let $A$ be an algebra over a commutative ring $k$. It is known that the categories of non-commutative descent data, of comodules over the Sweedler canonical coring, of right $A$-modules with a flat connection are isomorphic as braided…
We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting…
We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated communication protocols. We validate our constructions by showing…
In this paper, we introduce the notion of cyclic Frobenius algebras (CF-algebras). Canonical structures of CF-algebras exist on associative and Poisson algebras. It turns out that the modern theory of integrable systems yields non-trivial…
We study the categorical notion of braid gauging and obtain its classical Hopf algebraic description. We demonstrate how braid gauging can provide new insights on certain categorical invariants, such as the fusion rules and the higher…
To each symmetric graded Frobenius superalgebra we associate a W-algebra. We then define a linear isomorphism between the trace of the Frobenius Heisenberg category and a central reduction of this W-algebra. We conjecture that this is an…
Braided bialgebras of type one in abelian braided monoidal categories are characterized as braided graded bialgebras which are strongly $\mathbb{N}$-graded both as an algebra and as a coalgebra.
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…
Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful…
Following the pattern of the Frobenius structure usually assigned to the 1-dimensional sphere, we investigate the Frobenius structures of spheres in all other dimensions. Starting from dimension $d=1$, all the spheres are commutative…
In this thesis I develop a formalism whereby a tensor network may be understood in terms of a unitary braided tensor category, and represented in a particularly efficient manner corresponding to the exploitation of this mathematical…
The internal bialgebroid -- in a symmetric monoidal category with coequalizers -- is defined. The axioms are formulated in terms of internal entwining structures and alternatively, in terms of internal corings. The Galois property of the…
Grids - the collection of heterogeneous computers spread across the globe - present a new paradigm for the large scale problems in variety of fields. We discuss two representative cases in the area of condensed matter physics outlining the…