Questions tagged [monoidal-categories]
The monoidal-categories tag has no usage guidance.
531
questions
3
votes
0
answers
89
views
Isomorphic objects have the same dimension (pivotal categories)
I want to prove that if two objects $X,Y$ in a pivotal category $\mathcal{C}$ are isomorphic, then $X$ and $Y$ have the same dimension, i.e.,
$$
\mathrm{dim}(X) = \mathrm{Tr}^{L}(\mathrm{id}_{X}) = \...
3
votes
0
answers
35
views
Are the Drinfeld doubles of twist equivalent Hopf algebras twist equivalent?
Let $H_1$ and $H_2$ be finite dimensional Hopf algebras that are twist equivalent, i.e. $H_2$ is obtained from $H_1$ using a Drinfeld twist. My question is: are the Drinfeld doubles $D(H_1)$ and $D(...
5
votes
1
answer
140
views
1-categorical universal properties for the smash product of pointed sets
Question I. Is the following statement, inspired by this one, true?
Universal Property I. The symmetric monoidal structure on the category $\mathsf{Sets}_*$ of pointed sets and pointed maps between ...
3
votes
1
answer
105
views
Different notions of equivalences of $\mathcal{O}$-monoidal $\infty$-categories
I am currently reading Higher Algebra by Jacob Lurie and I have a question regarding equivalences of $\mathcal{O}$-monoidal categories.
Let $\mathcal{O}$ be an $\infty$-operad. Suppose that I have two ...
2
votes
1
answer
166
views
Is the category of simplicial $R$-modules closed monoidal?
I am trying to understand if the simplicial mapping space for simplicial $R$-Modules (or at least simplicial vector spaces) is adjoint to the (level-wise) tensor product. For simplicity, let me state ...
3
votes
0
answers
54
views
Self-enrichment for a closed monoidal bicategory
First, there are two possible generalization of the notion of closed category, vertical and horizontal.
I'm interested in the vertical one, something saying, I guess, that a monoidal bicategory $\...
4
votes
1
answer
108
views
Does the Gray tensor product exhibit Gray as a monoidal Gray-category?
Crans constructs a lax Gray tensor product for strict omega-categories that defines a monoidal structure on the category of strict omega-categories $\omega Cat$. We write Gray for this monoidal ...
3
votes
0
answers
75
views
Yetter-Drinfeld modules for Hopf monads
1. Context.
1.1. Classical Yetter-Drinfeld modules.
Let $H$ a bialgebra in a braided monoidal category $\mathcal{C}$. A left-right Yetter-Drinfeld module over $H$ is a triple $(V,\rho,\Delta)$ ...
5
votes
1
answer
134
views
One-object lax natural transformation
A lax natural transformation $\alpha$ between two pseudofunctors $F,G: \mathcal{K} \to \mathcal{L}$ between bicategories $\mathcal{K}, \mathcal{L}$ consists of the following data:
For every object $A ...
1
vote
1
answer
122
views
Dual objects in an abelian monoidal category
Let $(\mathcal{M},\otimes)$ be a monoidal category that is also abelian, and assume that $\otimes$ is bilinear with respect to the biproduct. Let $X$ and $Y$ be two objects that admit (left) duals ${}^...
5
votes
1
answer
327
views
Day convolution and sheafification
$\DeclareMathOperator\Psh{Psh}\DeclareMathOperator\Sh{Sh}\newcommand\copower{\mathrm{copower}}$I was looking through Bodil Biering's thesis On the Logic of Bunched Implications - and its relation to ...
2
votes
0
answers
115
views
Left duals and right duals are also isomorphic in a semisimple category
In the n-Lab page
https://ncatlab.org/nlab/show/rigid+monoidal+category
it is written that
Left duals and right duals are also isomorphic in a semisimple
category.
For a left dual semisimplicity ...
4
votes
0
answers
135
views
Examples of $\ast$-autonomous $(\infty,1)$-categories
A $\ast$-autonomous category is a biclosed monoidal category together with a dualizing object. An object $\bot$ in a biclosed monoidal category $(\mathcal{C},\otimes)$ with left internal hom $[-,-]$ ...
3
votes
0
answers
114
views
Tannaka duality for Hopf algebroids
Setting. Let $k$ be a field, $A$ a finite-dimensional $k$-algebra, and $H$ a Hopf algebroid over $A$ with invertible antipode. Denote by $\operatorname{mod}(H)$ the category of finite-dimensional ...
4
votes
1
answer
173
views
Monoidal topology and coarse spaces
Is there a description of (quasi-)coarse spaces that is analogous to the description of (quasi-)uniform spaces as lax algebras?
6
votes
0
answers
150
views
Drinfeld center of non-rigid closed monoidal categories
Context.
The Drinfeld center of a rigid monoidal category $\mathcal{C}$ is again rigid. This is not hard to see: Given an object $X\in \mathcal{C}$ together with a half-braiding $\phi_X:X\otimes-\...
7
votes
0
answers
246
views
What exactly is a Tannakian subcategory?
I've searched all the standard references (Deligne--Milne, Saavedra-Rivano) and cannot find a definition of Tannakian subcategory. What I find is many authors who discuss the Tannakian subcategory ...
3
votes
0
answers
193
views
Coevaluation for linear categories
For a field $k$ and an associative $k$-algebra $R$, the $k$-linear category $R\operatorname{-Mod}$ is self dual inside $\operatorname{DGCat}_k$, with the counit map sending $k$ to $R$ regarded as a ...
6
votes
0
answers
182
views
Does a fusion ring with F and R-symbols uniquely determine a braided tensor category?
Background : In mathematical physics, 'anyons' in (2+1) dimensional systems are described by braided tensor categories. The anyon types correspond to the irreducible objects of the category. From such ...
3
votes
0
answers
84
views
Tensor product of functors, central Hopf monad and star-autonomy
Setting.
Let $\mathcal{C}$ be a category and $(\mathcal{V},\otimes,I, \multimap)$ a (symmetric) closed monoidal category. Let $F:\mathcal{C}\rightarrow \mathcal{V}$ be a functor and $X\in \mathcal{V}$ ...
5
votes
1
answer
303
views
A result on symmetric closed monoidal categories
In this discussion from the categories mailing there is mention of the following result by Robin Houston, supposedly proved in 2006:
Theorem. Let $\mathcal{C}$ be a symmetric closed monoidal category,...
5
votes
1
answer
178
views
3-functoriality of the lax Gray tensor product
In Formal category theory: adjointness for 2-categories, Gray defines a tensor product of 2-categories, now more commonly known as the lax Gray tensor product, which I will denote by $\otimes_l$. For ...
2
votes
1
answer
113
views
Duality in a monoidal category as a functor
In a rigid monoidal category $\mathcal{M}$ every object has a (say left) dual. Is the process of taking duals functorial? More specifically - is there a well-defined functor
$$
\mathcal{M} \to \...
3
votes
1
answer
257
views
A question about rigid objects in monoidal categories
Let $(\mathcal{A},\otimes,1_{\mathcal{A}})$ be a monoidal category, and let $M$ be a rigid object of $M$, with left and right dual respectively denoted by
$$
\Big\{M^*,~~~ \epsilon_l:M^* \otimes M \to ...
5
votes
1
answer
337
views
Does the category of integral domains admit a symmetric monoidal structure?
Let $\mathbf{Int}$ be the category of integral domains with injective homomorphisms. Does it admit a symmetric monoidal structure? If so, can we choose $\mathbb{Z}$ as the unit object? If it helps to ...
1
vote
1
answer
276
views
What are the morphisms in the category of retractions?
In Michael Shulman's Framed bicategories and monoidal fibrations Example 12.10 he defines a category $\operatorname{Retr}(\mathcal{C})$ as the "category of retractions in $\mathcal{C}$". He ...
2
votes
1
answer
211
views
Isomorphisms after tensoring with the identity in a monoidal category
Let us take the following assumptions: $\mathscr{M}$ a monoidal category, $X,Y,Z$ three objects in the category, and $f: Y \to Z$ a morphism. If the morphism
$$
\mathrm{id}_X \otimes f: X \otimes Y \...
-1
votes
1
answer
152
views
Does a symmetric monoidal functor between cartesian monoidal categories automatically preserve products? [closed]
Suppose $\cal A, B$ are cartesian monoidal categories, that is, categories equipped with a choice of finite products (including the nullary one, $1$). Suppose, moreover, that $F: \cal A \to B$ is a ...
8
votes
1
answer
208
views
How does the Tannaka duality work for weak Hopf algebras and fusion categories?
I'm a physicist and not yet an expert in fusion category. I've heard that it's possible to reconstruct a weak Hopf algebra from its category of representations, and would like to know how this works ...
3
votes
0
answers
111
views
Braided monoidal categories as generalized "braided" schemes
It's well know by the Gabriel-Rosenberg reconstruction theorem that a (quasi-separated) scheme $X$ is completely determined by its category of quasicoherent sheaves $\mathbf{QCoh}(X)$. The latter is ...
7
votes
0
answers
277
views
Does the pentagon axiom force the associativity constraint to be a natural isomorphism?
Consider a fusion ring and the associated system of polynomial equations induced by the pentagon axiom of a fusion category. A solution of this system is supposed to encode the associativity ...
2
votes
0
answers
71
views
Are $\mathscr{V}$-modules uniquely (nicely) enrichable?
$\require{AMScd}\newcommand{\V}{\mathscr{V}}\newcommand{\M}{\mathcal{M}}\newcommand{\hom}{\operatorname{hom}}\newcommand{\op}{{^\mathsf{op}}}$Fix a closed symmetric monoidal category $(\V;\otimes;\...
5
votes
0
answers
205
views
Lax monoidal structure on the right Kan extension of a partially monoidal Γ-set
First some preliminaries. Let me write $Fin_\ast$ for the skeleton of the category of finite pointed sets and pointed maps between them on the objects $n_+=\{0,1,...,n\}$, where $0$ is the base point (...
7
votes
0
answers
162
views
Who first introduced the term "categorical group", and when?
The term "categorical group" is often used to mean a group object in Cat; these days we also call such a thing a strict 2-group. Who first introduced the term "categorical group", ...
2
votes
1
answer
66
views
Nomenclature help: action vs. module and “pointed” monadic algebras are module objects?
I'm confused about some nomenclature in a paper by J. Goguen from 1975. I'm happy to use definitions however they appear. But I aim to summarise the paper for a non-expert audience and I want them to ...
0
votes
1
answer
180
views
Free enriched monoidal categories
Suppose $(\mathcal{V},\otimes,1)$ is a symmetric monoidal category and $\mathbb{C}$ is a $\mathcal{V}$-category. I will deliberately avoid usual powerful assumptions (eg completeness/cocompleteness) ...
3
votes
0
answers
110
views
Transfer monoidal category structures [duplicate]
Let $\mathcal{C}$ and $\mathcal{D}$ be two equivalent categories and $F:\mathcal{C}\to \mathcal{D}$ be a functor that yields an equivalence of categories, with an inverse functor $G:\mathcal{D}\to \...
2
votes
0
answers
84
views
Questions about proof that all indecomposable module categories over $\operatorname{Rep}(G)$ are equivalent to $\operatorname{Rep}^1(H,\omega)$
$\DeclareMathOperator\Rep{Rep}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Ind{Ind}\DeclareMathOperator\End{End}$In Ostrik - Module categories, weak Hopf algebras and modular invariants, it is ...
2
votes
0
answers
81
views
Nerve functor for symmetric monoidal category
The nerve $N(\mathsf{C})$ of a category $\mathsf{C}$ can be seen as a geometric realization of it (via n-simplices). This defines a functor $N: \mathsf{Cat} \rightarrow \mathsf{SSet}$ called nerve ...
4
votes
0
answers
262
views
Why is $\rm{Cat}$ a Cartesian-closed category?
I am interested in naturally occurring symmetric closed monoidal structures on locally presentable categories.
Two general examples:
Grothendieck topos with Cartesian structure. Here, for example, $\...
8
votes
1
answer
311
views
Is there a notion of "knot category"?
Consider a rigid braided monoidal category, with braiding $\beta_{x,y} : x \otimes y \cong y \otimes x$, and every object has a dual such that $\epsilon_x : 1 \to a \otimes a^*, \bar\epsilon_x : a^* \...
12
votes
2
answers
1k
views
Abelian categories that are not monoidal
Forgive me if this turns out to be a naive question. I'm quite convinced that not all abelian categories admit (symmetric?) monoidal structure (of course, with the tensor product being additive, ...
4
votes
2
answers
316
views
Relationship between fusion category and its Drinfel'd center
Is it true that given a fusion category $\mathcal{C}$ and its Drinfel'd center $Z(\mathcal{C})$, there is a fully faithful functor $F:\mathcal{C}\hookrightarrow Z(\mathcal{C})$? I.e. can $\mathcal{C}$ ...
2
votes
0
answers
94
views
"Closed $\mathscr{V}$-modules are uniquely (co)tensored $\mathscr{V}$-categories": shouldn't we assume they are also "mixed monoidal"?
$\newcommand{\M}{\mathcal{M}}\newcommand{\V}{\mathscr{V}}\newcommand{\hom}{\mathsf{hom}}$Throughout this post, $\V$ refers to some "cosmos", where I borrow the word "cosmos" from ...
9
votes
0
answers
256
views
Equivalence of Yetter-Drinfeld modules to Drinfeld center: is there a purely categorical proof?
Let $H$ be an Hopf algebra over a field $k$, and let $\mathcal{C}$ be the monoidal category of left $H$-modules.
It is known that the Drinfeld center of $\mathcal{C}$ is equivalent (as a braided ...
10
votes
1
answer
479
views
Proof that the unit of a Cartesian monoidal category is terminal
In short, given a monoidal category whose product is the categorical product, show that the unit object is terminal.
This looks very similar to questions that have been answered, but is subtly ...
9
votes
2
answers
520
views
Is there a generalization of braided monoidal category without the isomorphism requirement?
Is there a generalization of the notion of braided monoidal category that does not force the braiding $\gamma$ to be an isomorphism? I mean, it is of course possible to define such a kind of category, ...
2
votes
0
answers
116
views
Checking the triangle axiom of monoidal categories for the category $\operatorname{Vec}(\mathscr{C})$
Let $\mathscr{C}$ be a (for simplicity, strict) rigid $C^*$-tensor category. Consider the monoidal category $\operatorname{Vec}(\mathscr{C})$ as defined in section 2.4 of the article Operator algebras ...
3
votes
1
answer
170
views
Adding finite direct sums to a C*-tensor category
Consider the following fragment from the book "Compact quantum groups and their representation categories" by Neshveyev-Tuset (p72, in section 2.5):
$\ \ \ $ Assume $\mathscr{C}$ is a ...
4
votes
2
answers
264
views
Algebra objects of $\operatorname{Vec}(\mathscr{C})$ are lax functors $\mathscr{C}^\text{op}\to \operatorname{Vec}$
Let $\mathscr{C}$ be a rigid $C^*$-tensor category. Let $\operatorname{Vec}(\mathscr{C})$ be the category with linear functors $\mathscr{C}^{\text{op}}\to \operatorname{Vec}$ (= category of complex ...