Related papers: The Category TOF
We study the biclosedness of the monoidal categories of modules and comodules over a (left or right) Hopf algebroid, along with the bimodule category centres of the respective opposite categories and a corresponding categorical equivalence…
We investigate the triangulated structure of stable monomorphism categories (filtered chain categories) over a Frobenius category. The high degree of symmetry of linear quivers leads to a plethora of semiorthogonal decompositions into…
In this paper, we show that there are infinitely many semisimple tensor (or monoidal) categories of rank two over an algebraically closed field $\mathbb F$.
We define and study a certain relative tensor product of subfactors over a modular tensor category. This gives a relative tensor product of two completely rational heterotic full local conformal nets with trivial superselection structures…
We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…
A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some…
Given a finite category T, we consider the functor category [T,A], where A can in particular be any quasi-abelian category. Examples of quasi-abelian categories are given by any abelian category but also by non-exact additive categories as…
We introduce a fault-tolerant construction to implement a composite quantum operation of four overlapping Toffoli gates. The same construction can produce two independent Toffoli gates. This result lowers resource overheads in designs for…
We examine the following problem: given a collection of Clifford gates, describe the set of unitaries generated by circuits composed of those gates. Specifically, we allow the standard circuit operations of composition and tensor product,…
We prove the $r$-spin cobordism hypothesis in the setting of (weak) 2-categories for every positive integer $r$: The 2-groupoid of 2-dimensional fully extended $r$-spin TQFTs with given target is equivalent to the homotopy fixed points of…
A proof is given, which relies on the commutator algebra of the unitary Lie groups, that quantum gates operating on just two bits at a time are sufficient to construct a general quantum circuit. The best previous result had shown the…
Up to now, all the works about constructing quantum logic gates, an essential part in quantum computing, are focused on operating on one degree of freedom (DOF) of quantum systems. Here, we investigate the possibility to achieve a scalable…
In this paper by using the ring of real-valued continuous functions $C(X)$, we prove a theorem in profinite spaces which states that for a compact Hausdorff space $X$, the set of its connected components $X/_{\sim}$ endowed with some…
We show that each rigid monoidal category A over a field defines a family of universal tensor categories, which together classify all faithful monoidal functors from A to tensor categories. Each of the universal tensor categories classifies…
In this paper, plane polynomial systems having a singular point attracting all orbits in positive time are classified up to topological equivalence. This is done by assigning a combinatorial invariant to the system (a so-called "feasible…
As anticipated in [1], elaborated in [2-4], and explicitly formulated in [5], the Dotsenko-Fateev integral discriminant coincides with conformal blocks, thus providing an elegant approach to the AGT conjecture, without any reference to an…
We describe a pretorsion theory in the category $Cat$ of small categories: the torsion objects are the groupoids, while the torsion-free objects are the skeletal categories, i.e., those categories in which every isomorphism is an…
In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories,…
We define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper \'etale effective groupoid objects over the complex manifolds. Both…
In this paper, we justify and make precise an elementary approach that establishes the existence of (co)limits in $\mathbf{Cat}$. This approach, while conceptually evident, has not been made fully explicit or systematically described in the…