Related papers: Braided Picard groups and graded extensions of bra…
The relation between crossed product and $H$-Galois extension in braided tensor category ${\cal C}$ with equivalisers and coequivalisers is established. That is, it is shown that if there exist an equivaliser and a coequivaliser for any two…
If $\Gamma $ is a group, then braided $\Gamma $-crossed modules are classified by braided strict $\Gamma $-graded categorial groups. The Schreier theory obtained for $\Gamma $-module extensions of the type of an abelian $\Gamma $-crossed…
We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…
We consider two families of categories. The first is the family of semisimple quotients of H. Andersen's tilting module categories for quantum groups of Lie type $B$ specialized at odd roots of unity. The second consists of categories…
We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known…
We show that the Drinfeld centre of a symmetric fusion category is a bilax 2-fold monoidal category. That is, it carries two monoidal structures, the convolution and symmetric tensor products, that are bilax monoidal functors with respect…
It was observed recently that for a fixed finite group $G$, the set of all Drinfeld centres of $G$ twisted by 3-cocycles form a group, the so-called group of modular extensions (of the representation category of $G$), which is isomorphic to…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…
We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…
Let $R$ be a commutative unital ring. We construct a category $\mathcal{C}_R$ of fractions $X/G$, where $G$ is a finite group and $X$ is a finite $G$-set, and with morphisms given by $R$-linear combinations of spans of bisets. This category…
A category N of labeled (oriented) trivalent graphs (nets) or ribbon graphs is extended by new generators called fusing, braiding, twist and switch with relations which can be called Moore--Seiberg relations. A functor to N is constructed…
Let $\mathcal C$ be a category with finite colimits, writing its coproduct $+$, and let $(\mathcal D, \otimes)$ be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal…
We study the notion of the $E$-center $\mathcal{Z}_E(\mathcal{M})$ of a $(\mathcal{C}, \mathcal{D})$-biactegory (or bimodule category) $\mathcal{M}$, relative to an op-monoidal functor $E: \mathcal{C} \to \mathcal{D}$. Specializing this…
We define virtual braid groups of type B and construct a morphism from such a group to the group of isomorphism classes of some invertible complexes of bimodules up to homotopy.
We investigate invertible elements and gradings in braided tensor categories. This leads us to the definition of theta-, product-, subgrading and orbitcategories in order to construct new families of BTC's from given ones. We use the…
The aim of this paper is to define and study the 3-category of extensions of Picard 2-stacks over a site S and to furnish a geometrical description of the cohomology groups Ext^i of length 3 complexes of abelian sheaves. More precisely, our…
In a companion work on the combinatorial quantization of 4d 2-Chern-Simons theory, the author has constructed the Hopf category of quantum 2-gauge transformations $\tilde{C}=\mathbb{U}_q\mathfrak{G}$ acting on the discrete surface-holonomy…
The Hecke algebras for all symmetric groups taken together form a braided monoidal category that controls all quantum link invariants of type A and, by extension, the standard canon of topological quantum field theories in dimension 3 and…
Braided non-commutative differential geometry is studied. In particular we investigate the theory of (bicovariant) differential calculi in braided abelian categories. Previous results on crossed modules and Hopf bimodules in braided…
We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…