The tag has no usage guidance.

learn more… | top users | synonyms

7
votes
2answers
380 views

Effects of “weak” vs. “strict” categories in Eckmann-Hilton arguments

A standard example for demonstrating the need for genuinely weak n-categories is that a weak 3-category with unique 0- and 1-cells amounts to the same thing as a braided monoidal category (by an ...
10
votes
4answers
856 views

Why is a monoid with closed symmetric monoidal module category commutative?

Given a symmetric monoidal category and a monoid object A in it, one can form the category of modules over this monoid object, i.e. objects are $A \otimes M \rightarrow M$ satisfying the natural ...
25
votes
4answers
2k views

Understanding the definition of the Lefschetz (pure effective) motive

For all those who are unlikely to have answers to my questions, I provide some Background: In some sense, pure motives are generalisations of smooth projective varieties. Every Weil cohomology ...
16
votes
1answer
818 views

Semiadditivity and dualizability of 2

Short version: Let (C, ⊗, 1) be a locally presentable closed symmetric monoidal category with a zero object, and write 2 = 1 ∐ 1. Suppose the object 2 has a dual. Does it follow that C is a ...
2
votes
1answer
250 views

When does a certain natural construction on monoidal categories yield a Hopf algebra?

Let $\mathcal C = (\mathcal C_0,\mathcal C_1)$ be a (small) strict monoidal category. Pick a field $\mathbb K$, and let $\mathbb K[\mathcal C_1]$ be the vector space with basis the morphism of ...
12
votes
3answers
639 views

Model Structure/Homotopy Pushouts in topological monoids?

Let C be the category of topological monoids, that is, the category of monoids in (Top, $\times$). Can the model category structure on Top (Serre fibrations, cofibrations, weak homotopy ...
9
votes
2answers
3k views

Is there a meaningful difference between biased and unbiased composition?

In higher category theory, there are notions of biased and unbiased definitions of composition of $n$-morphisms (or, as a special case, tensor products of objects). In the biased framework, we define ...
11
votes
1answer
801 views

What is known about module categories over general monoidal categories?

All of the literature I have seen on module categories over monoidal categories has been in the rigid $k$-linear semisimple case, more or less in the spirit of Ostrik's paper, Module categories, weak ...
4
votes
1answer
266 views

Explicit description of a free braided monoidal groupoid with inverses

Let G be a braided monoidal groupoid: it does no harm to suppose that the monoidal product on G is strictly associative, so I'll do that. "With inverses" means that for every object $X$ of G, there ...
12
votes
6answers
1k views

What structure on a monoidal category would make its 2-category of module categories monoidal and braided?

So, many of us know the answer to "what kind of structure on an algebra would make its category of representations braided monoidal": your algebra should be a quasi-triangular Hopf algebra (maybe if ...
7
votes
4answers
515 views

What's the right object to categorify a braided tensor category?

The yoga of categorification has gained a lot of popularity in recent years, and some techniques for it have made a lot of progress. It's well-understood that, for example, a ring is probably ...
7
votes
3answers
464 views

Are supervector spaces the representations of a Hopf algebra?

Supervector spaces look a lot like the category of representations of $\mathbb{Z}/2\mathbb{Z}$ - the even part corresponds to the copies of the trivial representation and the odd part corresponds to ...
21
votes
4answers
3k views

Tannakian Formalism

The Tannakian formalism says you can recover a complex algebraic group from its category of finite dimensional representations, the tensor structure, and the forgetful functor to Vect. Intuitively, ...
12
votes
2answers
748 views

Recovering a monoidal category from its category of monoids

What kind of additional properties and/or structures one needs to impose on the category of (commutative or noncommutative) monoids of some monoidal category so that one can recover the original ...
9
votes
3answers
811 views

When does Tannakian theory work over affine schemes besides fields?

By 'work' I would like the correspondence between fiber functors (to finitely generated projective modules) and algebraic groups to be the same as in the field case. Specifically, if $A$ is an affine ...
11
votes
6answers
908 views

How do I describe a fusion category given a subfactor?

I felt like following up on Kate's question. There were some good motivational answers there. Given a pair of factors M < N, there is a standard way to construct a 2-category whose objects are M ...
13
votes
3answers
753 views

Categorifying the Reals via von Neumann Algebras?

So one way to categorify the natural numbers is to replace them with vector spaces. Then the dimension of the vector space reproduces the natural number. More generally you can categorify integers to ...
9
votes
2answers
300 views

When do PROP-morphisms induce adjunctions?

If (C,tensor,1) is a symmetric monoidal category and f:A-->B is a morphism of PROPs (or monoidal cats = colored PROPs), one gets a forgetful functor f^*:B-Alg(C)-->A-Alg(C) (where ...
12
votes
4answers
1k views

Do all 3D TQFTs come from Reshetikhin-Turaev?

The Reshetikhin-Turaev construction take as input a Modular Tensor Category (MTC) and spits out a 3D TQFT. I've been told that the other main construction of 3D TQFTs, the Turaev-Viro State sum ...
3
votes
3answers
441 views

What is a formula for the “group-like Drinfeld element”?

Any quantized universal enveloping algebra (in fact, any toplogically quasi-triangular Hopf algebra) has an (in its completion) an element u called the Drinfeld element which gives an isomorphism from ...
4
votes
2answers
439 views

Are there interesting monoidal structures on representations of quantum affine algebras?

Is there a good monoidal structure on a category of integrable representations of a quantum affine algebra? In the ordinary affine Kac-Moody case, there is the usual tensor product (symmetric, adds ...
6
votes
4answers
713 views

Are abelian non-degenerate tensor categories semisimple?

A pivotal monoidal category is called non-degenerate if the inner product $\left(x,y\right) = Tr\left(xy^{*}\right)$ (where $y^{*}$ is the dual map) is non-degenerate. As a rule of thumb ...