Related papers: The Category CNOT
We extend Thomason's homotopy colimit construction in the category of permutative categories to categories of algebras over an arbitrary $\Cat$ operad and analyze its properties. We then use this homotopy colimit to prove that the…
For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric…
We classify compactly generated co-t-structures on the derived category of a commutative noetherian ring. In order to accomplish that, we develop a theory for compactly generated Hom-orthogonal pairs (also known as torsion pairs in the…
This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…
We study some classes of lazy cocycles, called pure (respectively neat), together with their categorical counterparts, entwined (respectively strongly entwined) monoidal categories.
A finite pre-tensor category is a finite abelian category equipped with a right exact tensor product for which every projective object has duals. Finite tensor categories, for which every object has duals, are notable examples. More…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
The modular data of a modular category $\mathcal{C}$, consisting of the $S$-matrix and the $T$-matrix, is known to be an incomplete invariant of $\mathcal{C}$. More generally, the invariants of framed links and knots defined by a modular…
We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several…
Category theoretic aspects of non-rational conformal field theories are discussed. We consider the case that the category C of chiral sectors is a finite tensor category, i.e. a rigid monoidal category whose class of objects has certain…
It is shown that anisotropic spin chains with gapped bulk excitations and magnetically ordered ground states offer a promising platform for quantum computation, which bridges the conventional single-spin-based qubit concept with recently…
Integrated photonic circuits have a strong potential to perform quantum information processing. Indeed, the ability to manipulate quantum states of light by integrated devices may open new perspectives both for fundamental tests of quantum…
We develop a graphical calculus for monoidal categories equipped with twisted pivotal structures, which are a generalization of pivotal structures originating from the study of orientation structures in the context of the Cobordism…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $[[S,T]]$ playing the role of morphisms from $S$ to $T$. Applied to C$^*$-algebras…
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4…
We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between…
We prove a categorical version of the Torelli theorem for cubic threefolds. More precisely, we show that the non-trivial part of a semi-orthogonal decomposition of the derived category of a cubic threefold characterizes its isomorphism…
This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized…
We report the experimental demonstration of a controlled-NOT (CNOT) quantum logic gate between motional and internal state qubits of a single ion where, as opposed to previously demonstrated gates, the conditional dynamics depends on the…