Tagged Questions

The tag has no wiki summary.

learn more… | top users | synonyms

10
votes
1answer
692 views

Alternative definition of monoidal categories

My question is about monoidal categories. To motivate it, let me first recall something about group objects. Assume you define a group object in a category $C$ with products by an object $G$ together ...
5
votes
2answers
281 views

Is the box product of morphisms associative?

Suppose $(C,\otimes)$ is a symmetric monoidal finitely-cocomplete category such that $\otimes$ preserves colimits. Given two morphisms $a:A_1\to A_2$ and $b:B_1\to B_2$, define $a\Box b$ to be the ...
3
votes
0answers
189 views

Symmetric monoidal structure on cosimplicial spaces

Is there a monoidal structure on the category $Spc^{\Delta}$ of cosimplicial spaces such that in the adjunction $$ \Delta^{\bullet}\otimes-\colon Spc\leftrightarrows Spc^{\Delta}\colon Tot(-) $$ the ...
2
votes
2answers
315 views

The condition End(1) = k in Tannakian Categories

A neutral Tannakian category over a field $k$ is a rigid $k$-linear abelian tensor category $\mathcal{C}$ whose unit $1$ satisfies $\mathrm{End}(1) \simeq k$, and is moreover equipped with an exact ...
7
votes
2answers
476 views

From tensor algebras in monoidal categories to (commutative?) monoids

Let $D$ be a monoidal category (without the structure of a symmetric monoidal category), with unit object $Id$, and let $L$ be an invertible object in $D$, so that $L$ is dualizable and the pairing ...
2
votes
2answers
200 views

A better way to compute the mapping spaces of the category of spans in an enriched tensored category?

Let X be a tensored and cotensored V-category, where V is a fixed complete, cocomplete, closed symmetric monoidal category. Define $C:=Span(X)$ to be the category of spans in X (this is the functor ...
5
votes
1answer
228 views

What is the right way to define the nerve of an unbiased monoidal category?

I've been toying around with unbiased composition in higher categorical structures on and off for a while now. In particular, I've been playing around with unbiased monoidal 2-categories. One ...
8
votes
3answers
592 views

Skeleton of a braided monoidal category

Does every (lax) braided monoidal category have a braided monoidal skeleton? That is, I want to define a (lax) braided monoidal structure on a skeleton so that it is braided monoidal equivalent to ...
1
vote
2answers
292 views

In which categories is every coalgebra a sum of its finite-dimensional subcoalgebras?

Let $\mathcal V$ be a reasonably nice category — I'm interested in the case when $\mathcal V$ is $\mathbb K$-linear for some field $\mathbb K$, abelian, and has all products and coproducts ...
6
votes
3answers
659 views

180˚ vs 360˚ Twists in String Diagrams for Ribbon Categories

Ribbon categories are braided monoidal categories with a twist or balance, $\theta_B:B\to B$, which is a natural transformation from the identity functor to itself. In the string diagram calculus for ...
4
votes
1answer
283 views

De-equivariantization by Rep(G)

I'm trying to understand Proposition 2.9 of this paper on weakly group theoretical fusion categories. First of all I have a problem with understanding the settings for de-equivariantization process. ...
18
votes
8answers
3k views

Resources for graphical languages / Penrose notation / Feynman diagrams / birdtracks?

There is an idea I've recently gotten interested in that doesn't seem to have a good agreed-upon name ("diagrammatic algebra?"). It centers around the use of two-dimensional diagrams of dots, ...
8
votes
4answers
2k views

What is the universal enveloping algebra?

Let ${\mathfrak g}$ be a Lie algebra in a symmetric monoidal category enriched over $K$-vector spaces, i.e., in particular, hom-s are $K$-vector spaces (where $K$ is a field of characteristic zero). ...
7
votes
3answers
660 views

Tannakian description of a semi-direct product

Let $H$ and $K$ be affine group schemes over a field $k$ of caracteristic zero. Let $\varphi:H\to Aut(K)$ be a group action. Then we can form the semi-direct product $G = K\ltimes H$. Problem: ...
4
votes
1answer
391 views

Is assigning the endomorphism object in some sense functorial?

Let $\mathcal V$ be a monoidal category and let $\mathcal C$ be a $\mathcal V$-category. Let's denote the $\mathcal V$-valued hom-functor $[-,-]$. Now for every object $X\in\mathcal C$ we have it's ...
3
votes
0answers
162 views

What is the underlying graphical calculus of the Interactions-Round-a-Face lattice model?

Background Let $\mathcal{L}$ be an $m \times n$ square lattice on a torus, and let $\Sigma$ be a finite set. We think of $\Sigma$ as the possible spin values that can be assigned to the points of the ...
7
votes
1answer
344 views

Category of copresheaves over commutative monoids

Let C be a symmetric monoidal category. Let Comm(C) be the category of commutative monoids in C. Consider the topos X = CoPSh(Comm(C)) of covariant functors from Comm(C) to the category Set of sets. ...
4
votes
2answers
443 views

Closed monoidal structure on the derived category of sheaves

Given a topological space X, i'd like to find Der X - the derived category of sheaves of abelian groups on X - to be a closed monoidal category. Hom should be cohomological and the internal-hom should ...
5
votes
5answers
417 views

What are the correct axioms for a “weakly associative monoidal functor”?

Definitions and the main question Recall that a category $\mathcal C$ is monoidal if it is equipped with the following data (two functors, three natural transformations, and some properties): a ...
5
votes
1answer
461 views

Is there a relative version of Tannakian reconstruction?

According to some form of Tannakian reconstruction, given a finite tensor category with a fiber functor to the category of vector spaces, one determines a Hopf algebra by considering tensor ...
16
votes
1answer
2k views

Calculating 6j-symbols (aka Racah-Wigner coefficients) for quantum groups

Which $6j$-symbols for quantised enveloping algebras are known explicitly? The quantum $6j$-symbols for $sl(2)$ are well-known. The references are Masbaum and Vogel and Frenkel and Khovanov. What ...
7
votes
2answers
358 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
817 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 ...
22
votes
4answers
1k 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 ...
15
votes
1answer
758 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
244 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
604 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
2k 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
720 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
251 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
986 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
507 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 ...
6
votes
3answers
442 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 ...
19
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, ...
11
votes
2answers
693 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
781 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
826 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
716 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
286 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
425 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
417 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 ...
5
votes
4answers
561 views

Are abelian nondegenerate tensor categories semisimple?

A pivotal monoidal category is called non-degenerate if the inner product (x,y) = Tr(xy*) (where y* is the dual map) is non-degenerate. As a rule of thumb non-degenerate is closely related to ...