The monoidal-categories tag has no wiki summary.

**19**

votes

**4**answers

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

**7**

votes

**1**answer

841 views

### Exterior powers in tensor categories

Let $\mathcal{C}$ be a cocomplete $R$-linear tensor category. Many notions of commutative algebra can be internalized to $\mathcal{C}$. For example a commutative algebra is an object $A$ in ...

**3**

votes

**1**answer

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

**9**

votes

**2**answers

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

**9**

votes

**1**answer

405 views

### Reference for “lax monoidal functors” = “monoids under Day convolution”

Suppose $A$ and $C$ two symmetric monoidal categories. Let's say that $A$ is small and $C$ is locally presentable, and let's assume also that the tensor product on $C$ preserves colimits separately in ...

**8**

votes

**1**answer

508 views

### Hovey's unit axiom in monoidal model categories

Let $\mathcal{C}$ be a monoidal model category in the sense of Hovey's book. He assumes the following unit axiom not considered in other references (e.g. Schwede-Shipley): given a cofibrant ...

**7**

votes

**1**answer

538 views

### Saavedra's Definition of Tannakian Category

I have been reading Deligne-Milne's Tannakian Categories and got to the point at the end of part 3 where they discuss what went wrong with Saavedra's definition. Motivated by their counterexample, ...

**5**

votes

**1**answer

269 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)$ ...

**5**

votes

**0**answers

114 views

### Reference for a generalization of Γ-spaces to monoidal model categories

Γ-spaces were introduced by Segal in 1969 as models for what can be now described
as commutative ∞-monoids and ∞-groups in cartesian symmetric monoidal ∞-categories, e.g., E_∞-spaces and connective ...

**2**

votes

**0**answers

74 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

**1**answer

267 views

### Generalization of analytic functors

It's been a long time since I posted the following question on stackexchange.
Now I think it's better to adress it to you, in the hope I will reach the right audience: Martin's comment, albeit ...

**3**

votes

**2**answers

193 views

### Coherence in pseudo.monoids

In the article of A. Joyal and R. Street:
Braided tensor categories, (Adv. Math. N.102 (1993), no. 1, 20-78)
they define a tensor object (or pseudo.monoids) in a monoidal 2-category $\mathcal{C}$ ...

**3**

votes

**1**answer

386 views

### When is homotopy orbit space weakly equivalent to orbit space, other than situation of free action?

Let $M$ be a closed symmetric monoidal model category. Let $X$ be a cofibrant object (it can also be fibrant if you like) and let $\Sigma_n$ act on $X^{\otimes n}$ by permuting the factors (note that ...

**2**

votes

**1**answer

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