Search Results

Definition. An invariant of a (spherical) fusion category with extra structure is a number or a set or tuple of numbers preserved under (appropriate) equivalences. (Spherical) fusion categories have …

If your TQFT does not extend to the circle, (EDIT: and you're willing to generalise to lax TQFTs,) then the answer is no. A reference is: https://arxiv.org/abs/1408.0668 The proof goes by an explicit …

Let $\mathcal{C}$ be a fusion category, and $\mathcal{M}, \mathcal{N}$ semisimple $(\mathcal{C}, \mathcal{C})$-bimodule categories. The left $\mathcal{C}$-action is denoted as $- \triangleright - \col …

It is well known that for a finite group $G$, the associator of the fusion category of $G$-graded $k$-vector spaces is given by an element of $H^3(G,k^*)$, up to equivalence of categories. ($k^*$ is t …

For an ordinary functor $F\colon \mathcal{C} \to \mathcal{D}$ of categories, there is a construction $\operatorname{im} F$, the image of $F$, which is again a category, and $F$ factors through that im …

A twist is an automorphism $\theta$ of the identity functor of a monoidal category with braiding $c$, such that $\theta_{X \otimes Y} = c_{Y,X} c_{X,Y} (\theta_X \otimes \theta_Y)$. A braided monoidal …

This question is related to Pivotal functors of that are substantially different from finite group homomorphisms. A tensor functor $F: \mathcal{C} \to \mathcal{D}$ is called dominant (sometimes calle …

I'm surprised nobody has mentioned Jeff Eggers "On involutive monoidal categories", which generalises Peter Selingers work, I guess. It's an excellent article, and it connects to other special cases. …

Mathematical physicists in solid state physics and topological insulators talk a lot about Walker-Wang models, which are a family of Hamiltonians defined on a 3d lattice. Unfortunately, the original p …

In general, one extracts a manifold invariant from a TQFT by interpreting the closed manifold as a bordism from the empty set to the empty set. The TQFT sends this bordism to a homomorphism of the gro …

tetrapharmakon's hint is excellent. The article he refers to (and the earlier article http://arxiv.org/abs/math/0604180 by some of the same authors) define "quasi-triangular Hopf monads" that are an a …

I have a braided monoidal, semisimple linear category $\mathcal{C}$. (Imagine representations of a semisimple quasitriangular Hopf algebra.) I also have a monad $(T,\mu,\eta)$ on it, however, $T$ is n …

Imagine a monoidal functor between ribbon categories (i.e. monoidal, with a braiding, a twist and compatible left and right duals). An important example would be the restriction functor from the repre …

A semisimple braided category with duals is called modular when a certain matrix $S$ is invertible. The components $S_{AB}$ are indexed by (isomorphism classes of) simple objects of the category and o …