The monoidal-categories tag has no wiki summary.

**0**

votes

**0**answers

45 views

### What is a fusion system/category without duals or an identity

What do you call a fusion system or fusion category without duals or an identity?
For fusion systems I am using Definition 3.1 from On Arithmetic Modular Categories. I want to remove axioms (i) and ...

**1**

vote

**1**answer

79 views

### Computation of extreme rays of rational polyhedral cones - Hemmecke's project and lift algorithm

I am working on an implementation of Raymond Hemmecke's algorithm for finding generating sets of cones: http://arxiv.org/abs/math/0203105
Unfortunately I am struggling to make the algorithm work on ...

**1**

vote

**0**answers

92 views

### How does one compute a colimit of monoidal categories?

The question is in the title. I'm also happy to get answers about (your favorite adjective) monoidal categories.
Here's a guess:
In order to compute a colimit of monoids we can push everything down ...

**6**

votes

**4**answers

625 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 ...

**2**

votes

**0**answers

65 views

### Notions of/References for freely generated (symmetric) monoidal categories

We often describe a category by giving a (directed, multi-)graph and freely generating a category of paths. I would like to know to what degree this intuition generalizes to monoidal categories, and ...

**3**

votes

**0**answers

103 views

### Proofs in monoidal categories [closed]

I have to do some pretty ugly proofs in monoidal categories. Basically, I have some long identities that I would like to prove. A random example:
$$(a\otimes b)\circ (c\otimes d) \circ q = q $$
Are ...

**0**

votes

**0**answers

34 views

### How is the monoidal product defined on the functor category between symmetric monoidal dagger cats

I have found a quote in a paper by Abramsky and Heunen
If C and D are symmetric monoidal dagger categories, then so is the category
[C, D] of functors F : C → D that preserve the dagger. ...

**5**

votes

**2**answers

344 views

### A general theory of quasi-functors, generalizing from dg-categories to $\mathcal V$-categories, with $\mathcal V$ monoidal model category

I employ the vast majority of the post to develop the notion of quasi-functor between dg-categories: I think it is important to get the idea.
Let $k$ be a field, and let $\mathcal V =\mathbf C(k)$ ...

**4**

votes

**0**answers

117 views

### When does the canonical model structure on $\mathcal V$-$\mathbf{Cat}$ give a structure of monoidal model category?

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal ...

**1**

vote

**1**answer

86 views

### Lax monoids where only the unit triangle is lax

I was rereading the paper Directoids: algebraic models of up-directed sets by Ježek and Quackenbush, this time with category theory in mind. When I tried to describe what the results in that paper ...

**6**

votes

**1**answer

219 views

### In a closed monoidal abelian category, are the compact projectives a monoidal subcategory?

Question: In a closed monoidal abelian category such that the unit object is compact projective, must the tensor product of compact projective objects be compact projective?
Recall that an object ...

**2**

votes

**0**answers

231 views

### What is the right categorical framework for diagonal approximations, cup and cap products and identities between them?

I wanted to know what is the right categorical analog for the diagonal approximation for the singular chain complex $\Delta: C\rightarrow C\otimes C$ as a morphism in the homotopy category of chain ...

**12**

votes

**2**answers

344 views

### Counterexample for associativity of smash product

In Section 1.7 of Parametrized Homotopy Theory by May and Sigurdsson it is stated that the smash product of pointed topological spaces is not associative (which is just another hint that ...

**7**

votes

**2**answers

234 views

### How are the Walker-Wang TQFT and the Crane-Yetter TQFT related?

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 ...

**2**

votes

**1**answer

156 views

### Reference for “multi-monoidal categories”

I have attempted to find a definition of a monoidal category which incorporates $n$-fold tensor products instead of just binary tensor products.
Definition. A "multi-monoidal category" consists of
...

**3**

votes

**3**answers

224 views

### Tensor product over a monoid in a monoidal category

nLab article on tensor product says:
"Given two objects in a monoidal category $(C,\otimes)$ with a right and left action, respectively, of some monoid $A$, their tensor product over $A$ is the ...

**4**

votes

**1**answer

85 views

### Singularity-free isotopies between string diagrams for monoidal categories

Given a monoidal category, it is a theorem of Joyal and Street that an equation between string diagrams is provable from the axioms if and only if there is a recumbent isotopy that relates them. The ...

**8**

votes

**2**answers

300 views

### Why does a tetracategory with one object, one 1-morphism and one 2-morphism give a symmetric monoidal category

According to the periodic table of k-tuply monoidal n-categories, it should be the case that a tetracategory (= weak 4-category) with one object, one 1-morphism and one 2-morphism is effectively ...

**3**

votes

**3**answers

387 views

### What is the proper name for “compact closed” multiplicative intuitionistic linear logic?

Multiplicative intuitionistic linear logic (MILL) has only multiplicative conjunction $\otimes$ and linear implication $\multimap$ as connectives. It has models in symmetric monoidal closed ...

**2**

votes

**1**answer

409 views

### Image, kernel, quotient and first isomorphism theorem, in a category of monoid objects

Let $\mathcal{C}$ be a monoidal category and Mon$_{\mathcal{C}}$ the category of monoids (also called algebra objects) on $\mathcal{C}$.
Questions: are there definitions of image and kernel for a ...

**3**

votes

**1**answer

350 views

### Category of modules over commutative monoid in symmetric monoidal category

Let $\left(\cal{C},\otimes ,I\right)$ be a symmetric monoidal category (not necessarily closed) and $A$ a commutative monoid in $\cal{C}$. In his DAG III (page 95), Lurie writes:
In many cases, ...

**2**

votes

**0**answers

104 views

### Pseudomodules, “general coherence theorem”

A pseudomonoid is defined within a monoidal bicategory. It is like a monoid in a monoidal category except that the usual axioms hold up to coherent invertible 2-cells. Pseudomonoid is like a monoidal ...

**7**

votes

**1**answer

103 views

### Does an equivalence of fusion categories depend on choice of simple objects within isomorphism classes?

Let $C$ be a fusion category with simple objects $X_1,...,X_n $, and let $Y_1,...,Y_n$ be objects with each $Y_i$ isomorphic to $X_i$. Is there a monoidal auto-equivalence $F:C \rightarrow C $ which ...

**5**

votes

**1**answer

245 views

### Ends as a “cotrace” operation on profunctors

As mentioned here, there is a trace operation on the monoidal category of profunctors given by taking coends: for any profunctor $F : A\times X \nrightarrow B \times X$, there is a profunctor $Tr^X(F) ...

**7**

votes

**0**answers

136 views

### When is Rep(U_q(g)) invariant under q -> -q and why?

Since this is a question about quantum groups, let me first fix notation. In this question I use the conventions from this paper of Sawin. (That particular paper conveniently lists in the ...

**5**

votes

**2**answers

266 views

### What are TQFTs that are multiplicative under connected sums? Do bordisms with connected sum as monoidal product exist?

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 ...

**10**

votes

**4**answers

835 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 ...

**3**

votes

**0**answers

89 views

### symmetric monoidal dagger endofunctor categories

Take an arbitrary category $C$, and consider $End(C)$, any endofunctor category consisting of some or all endofunctors of $C$.
I have several related questions:
What restrictions must we impose on ...

**6**

votes

**2**answers

235 views

### String diagrams for bimodules over noncommutative algebras?

I'm trying to do some calculations with bimodules (over Azumaya algebras, as it happens), and I need a string diagram notation that mixes the tensor product over the base ring (a symmetric monoidal ...

**2**

votes

**1**answer

172 views

### Localization of symmetric monoidal category

Let $\mathcal M$ be a symmetric monoidal category, $S\subset \mathcal M$ a collection of objects and morphisms. I would like to construct the localization $\mathcal M \mathop{\longrightarrow}^T ...

**2**

votes

**1**answer

107 views

### Does the category PCM (partial commutative monoids) have a closed symmetric monoidal product?

A partial commutative monoid (PCM) is, roughly speaking, a set with a partially defined binary operation that is as associative as it can be (given that not all products are defined) and commutative. ...

**3**

votes

**1**answer

139 views

### How to construct a free 2-group on a groupoid?

Let G
be a groupoid. I'm wondering how to construct the free 2-group on G.
By the free 2-group I mean a 2-group $\mathcal{F}\left(G\right)$
equipped with a functor ...

**0**

votes

**3**answers

291 views

### Rank vanishing in tensor categories

Let $\mathcal{C}$ be a cocomplete $\mathbb{Q}$-linear symmetric monoidal category (if convenient, assume that it is locally finitely presentable and/or abelian). Recall that the rank (or dimension) of ...

**3**

votes

**1**answer

114 views

### Strictifying strong monoidal functors

Let $C_1$ and $C_2$ be monoidal categories (not necessarily symmetric or strict) and let $\Psi : C_1 \rightarrow C_2$ be a strong monoidal functor. Is it possibly to construct a strict monoidal ...

**2**

votes

**1**answer

219 views

### Inducing a Monoidal Structure using an Equivalence of Categories [closed]

Given an equivalence of categories $C \equiv D$, such that $C$ has a monoidal structure, is it clear that we can use the equivalence to induce a monoidal structure on $D$. Is there a standard ...

**10**

votes

**1**answer

370 views

### Categorical interpretation of disjoint cycle notation for tracing permutations

For a natural number $n\in\mathbb{N}$, let $\underline{n}$ denote the finite set $$\underline{n}:=\{1,2,\ldots,n\}.$$
A permutation $\sigma\in Aut(\underline{n})$ can be uniquely written (up to order) ...

**2**

votes

**1**answer

144 views

### When is an Eilenberg-Moore category or Kleisli category braided monoidal? When semisimple?

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 ...

**11**

votes

**1**answer

162 views

### Understanding the computation of the center of Tambara-Yamagami fusion categories when realized as C* categories

Recall that the Tambara-Yamagami categories are those with fusion ring $\mathbb{Z}[A \cup m]$ where $A$ is an abelian group and $m$ is a non-invertible (simple) object such that $ma = am = m$ for all ...

**10**

votes

**0**answers

197 views

### Does every commutative variety of algebras have a cogenerator?

By a commutative variety $\mathcal{V}$ I mean a classical variety of algebras for some $(\Sigma,E)$, such that each pair of operations in $\Sigma$ commutes.
Equivalently (i) every interpretation of ...

**2**

votes

**2**answers

186 views

### Definitions and coherence in “rigid” monoidal categories

In "Catégories Tannakiennes" by Savedra Rivano (under A. Grothendieck supervision) at pag.78 he define a rigid category $\mathscr{C}$ as a monoidal symmetrical closed such that the natural morphisms ...

**4**

votes

**2**answers

157 views

### symmetric monoidal double categories?

Let me preface this by saying that I don't know much category theory.
I am running into a situation where I have a double category and additionally there is a multiplication. Moreover, choosing ...

**3**

votes

**2**answers

145 views

### Why is a braided left autonomous category also right autonomous?

In Selinger, P. A survey of graphical languages for monoidal categories (New Structures for Physics, Springer, 2011, 813, 289-233), it is stated that:
Lemma 4.17 ([23, Prop. 7.2]). A braided ...

**5**

votes

**1**answer

181 views

### Making additive envelopes of monoidal categories monoidal

I have a monoidal category $(\mathcal{C},\otimes)$ enriched over abelian groups, for which I want to take the additive envelope $\mathcal{M}at\,\mathcal{C}$.
(This is defined as the category with ...

**2**

votes

**0**answers

73 views

### A question about braiding represented as pseudofunctors

I just asked a very similar question here (About symmetry, braids, and pseudo-functors.), still now I dont get a answere. I hope to express myself more clearly and correctly this time.
Let ...

**7**

votes

**2**answers

292 views

### Is “being a modular category” a universal or categorical/algebraic property?

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 ...

**3**

votes

**3**answers

372 views

### When does a monoidal functor between ribbon categories preserve cups and caps, but not necessarily braidings?

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 ...

**2**

votes

**1**answer

318 views

### It looks so coKleisli, but it's not. What is it?

Fix a symmetric monoidal category $(M,\otimes,I)$ and a small discrete monoidal subcategory $M'\subseteq M$. Define a new symmetric monoidal category $C:=CoKl(M,M')$ as follows: $Ob(C):=Ob(M)$, and ...

**15**

votes

**1**answer

789 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 ...

**11**

votes

**1**answer

463 views

### Can one explain Tannaka-Krein duality for a finite-group to … a computer ? (How to make input for reconstruction to be finite datum?)

Consider a finite group. Tannaka-Krein duality allows to reconstruct the group from the
category of its representations and additional structures on it (tensor structure + fiber functor). Somehow ...

**4**

votes

**1**answer

106 views

### Does trace handle composition in a traced symmetric monoidal category?

Suppose that $(C,\otimes,I)$ is a traced symmetric monoidal category (TSMC) with symmetrizor $\sigma$ and trace $Tr$. Given two morphisms $f\colon A\to B$ and $g\colon B\to C$, I can tensor them to ...