Related papers: Categorified trace for module tensor categories ov…
Given a finite tensor category $\mathcal{C}$, we prove that a modified trace on the tensor ideal of projective objects can be obtained from a suitable trivialization of the Nakayama functor as right $\mathcal{C}$-module functor. Using a…
With any even Hecke symmetry R (that is a Hecke type solution of the Yang-Baxter equation) we associate a quasitensor category. We formulate a condition on R implying that the constructed category is rigid and its commutativity isomorphisms…
In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors…
We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in Prof, the monoidal bicategory…
In [arXiv:1509.02937], the notion of a module tensor category was introduced as a braided monoidal central functor $F\colon \mathcal{V}\longrightarrow \mathcal{T}$ from a braided monoidal category $\mathcal{V}$ to a monoidal category…
We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in $\mathbf{Prof}$, the monoidal…
For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced.…
We organize the modified trace theory with the use of the Nakayama functor of finite abelian categories. For a linear right exact functor $\Sigma$ on a finite abelian category $\mathcal{M}$, we introduce the notion of a $\Sigma$-twisted…
We introduce a new type of categorical object called a \emph{hom-tensor category} and show that it provides the appropriate setting for modules over an arbitrary hom-bialgebra. Next we introduce the notion of \emph{hom-braided category} and…
In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor…
A graded tensor category over a group $G$ will be called a crossed product tensor category if every homogeneous component has at least one multiplicatively invertible object. Our main result is a description of the crossed product tensor…
Traced monoidal categories are used to model processes that can feed their outputs back to their own inputs, abstracting iteration. The category of finite dimensional Hilbert spaces with the direct sum tensor is not traced. But…
We consider a pivotal monoidal functor whose domain is a modular tensor category (MTC). We show that the trace of such a functor naturally extends to a representation of the corresponding tube category. As irreducible representations of the…
For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective…
We define a tracelike transformation to be a natural family of conjugation invariant maps $T_{x,C}: hom_C(x,x) \to hom_C(1,1)$ for all dualisable objects $x$ in any symmetric monoidal infinity-category $C$. This generalises the trace from…
We give a proof of a formula for the trace of self-braidings (in an arbitrary channel) in UMTCs which first appeared in the context of rational conformal field theories (CFTs). The trace is another invariant for UMTCs which depends only on…
We classify finite pointed braided tensor categories admitting a fiber functor in terms of bilinear forms on symmetric Yetter-Drinfeld modules over abelian groups. We describe the groupoid formed by braided equivalences of such categories…
In this paper we study a toy categorical version of Lusztig's induction and restriction functors for character sheaves, but in the abstract setting of multifusion categories. Let $\mathscr{C}$ be an indecomposable multifusion category and…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an…