The tag has no wiki summary.

learn more… | top users | synonyms

14
votes
0answers
154 views

Are there small examples of non-pivotal finite tensor categories?

I'm looking for small concrete examples of non-pivotal finite tensor categories to do some calculations with. Here a finite tensor category is, according to Etingof-Ostrik, a rigid monoidal category ...
12
votes
2answers
415 views

Cartesian envelope of a symmetric monoidal category

Is there a left adjoint to the forgetful functor from cartesian monoidal categories to symmetric monoidal categories? And if so: how can it be described explicitely. In more detail: Given a symmetric ...
9
votes
1answer
417 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 ...
0
votes
0answers
71 views

the category of right comodule of coalgebra is a monoidal category , why?

the category of right comodule of coalgebra is a monoidal category according the following the associativity constraint is defined as a_{U,V,W}((u\otimes v)\otimes w)=u_0\otimes (v_0\otimes ...
2
votes
2answers
312 views

“Wrong” strictification of symmetric monoidal categories

It is well-known that any symmetric monoidal category is equivalent to a strict symmetric monoidal category. The construction of this strict monoidal category is rather technical and it appears to me ...
5
votes
2answers
375 views

K-theory of monoidal categories

I am novice in the algebraic K- theory and don' t know if this is the right place for the following questions. So some people might consider them as basic questions. Consider an exact monoidal ...
11
votes
1answer
635 views

Are Lurie's operads special SMCs?

In Higher Operads, Higher Categories, Leinster nicely characterizes operads among monoidal categories (as PROs). Roughly speaking, a monoidal category comes from an operad if its set of objects is ...
6
votes
1answer
372 views

What about schemes built up out of graded rings?

Toen-Vaquié construct a category of schemes relative to some complete cocomplete closed symmetric monoidal category $C$. Affine schemes correspond by definition 1:1 to commutative monoid objects in ...
5
votes
1answer
273 views

Unitalization internal to monoidal categories

Let $C$ be a monoidal category, not assumed to be symmetric. Assume that the underlying category of $C$ is nice enough, for example cocomplete, perhaps even presentable. A semigroup object in $C$ is a ...
8
votes
0answers
258 views

Twisted duality in a symmetric monoidal category

I would like to know if the following definition is already known or even well-known. Is there a reference in the literature? Do you know prominent examples? Definition. Let $\mathcal{C}$ be a ...
1
vote
0answers
136 views

Compatibility between strength and costrength of a monoidal monad

Let $C$ be a closed monoidal category, and let $T : C \to C$ be a monad on the underlying category. Let $\sigma$ be a tensorial strength of $T$ and let $\sigma'$ be a cotensorial strength of $T$. A ...
4
votes
0answers
314 views

Tensor product of quivers

As a special case of a general construction I have constructed "accidentally" a tensor product of quivers aka directed multigraphs (aka directed graphs for category theorists). Probably this is ...
4
votes
1answer
238 views

Example of a non-closed cocomplete symmetric monoidal category

Background By a cocomplete symmetric monoidal category $C$ I mean a symmetric monoidal category whose underlying category is cocomplete and such that $- \otimes X : C \to C$ is cocontinuous for all ...
9
votes
2answers
443 views

The symmetric monoidal category of finite sets

It is well-known that the (augmented) simplex category is the universal monoidal category with a monoid object. What about a commutative analogue? Consider the category $\mathsf{FinSet}$ of finite ...
1
vote
2answers
319 views

Not-so-symmetric monoidal categories

Is the notion of a commutative monoidal category, where every product is isomorphic to its opposite, but not necessarily functorially, known not to be useful? I have not been able to find any ...
11
votes
3answers
610 views

Free symmetric monoidal category on a monoidal category

Consider the $2$-categories $\mathsf{MonCat}$ of monoidal categories, with strong monoidal functors and monoidal transformations, $\mathsf{SymMonCat}$ of symmetric monoidal categories, with strong ...
1
vote
1answer
165 views

Seems like Reader monad composed with a strong monad produces a monad, am I right?

Take a Cartesian (or monoidal) closed category; define Reader monad for a given object $E$ as $X \mapsto X^E$; and take a strong monad $M$ (strong means preserves product or tensor product). Now the ...
5
votes
2answers
522 views

What is the free monoidal category generated by a monoid?

In several places in a segment on cohomology (for example, here (PDF)) in John Baez's online lecture notes for a course in 2007 on quantum gravity, much is made of the fact that the simplex category ...
1
vote
1answer
193 views

About the closed structure on the modules of a monoidal closed symmetrical category

Let $(\mathscr{C}, \otimes , I)$ monoidal category, a monoid $(R, e_R, \mu )$ is a object $R \in \mathscr{C}$ with morphisms $e_R: I \to R$, $\mu: R \otimes R \to R$ with the well knowed unital ...
6
votes
1answer
375 views

Two questions about commutative theories

Let $\mathcal{T}$ be a commutative algebraic theory (for example sets, abelian groups, commutative monoids, but not groups etc.). References include the nlab and Borceux' Handbook of Categorical ...
3
votes
0answers
163 views

The multiplicative system in a symmetric monoidal category

Let $\mathcal{C}$ be a symmetric monoidal category. In the 1973 paper "Note on monoidal localisation" by Brian Day, the multiplicative system of morphism in $\mathcal{C}$ has been discussed. See also ...
7
votes
1answer
545 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, ...
2
votes
0answers
201 views

Braidings and Isomorphism Classes in a Monoidal Category

Let $X$ be an object in a monoidal category $({\cal C}, \otimes)$, and $\gamma:X \otimes X \to X \otimes X$ a braiding (that is to say a morphism in ${\cal C}$ from $X \otimes X$ to itself that ...
11
votes
2answers
413 views

Iterating monoid categories

Let $(C, \otimes)$ be a symmetric monoidal category (maybe braided is also okay). Then the category $\text{Mon}(C)$ of monoid objects in $C$ is also a symmetric monoidal category with the same ...
7
votes
1answer
332 views

String diagrams for (weak) monoidal categories

Hi, In a strict monoidal category, where the associator, left and right unitor are identity morphisms we have the following relations between (string) diagrams: where $i_x$ and $e_x$ are the unit ...
3
votes
1answer
388 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 ...
9
votes
0answers
171 views

Are pivotal categories the algebras for a cartesian monad?

It seems to be "known" but not written down that the following are more-or-less equivalent: ...
4
votes
1answer
371 views

Thompson's group F and monoidal categories

(This is a cross-post from MathSE, as someone remarked that the question would be more appropriate on MO) Fiore and Leinster have proved that if $\mathcal{A}$ is a monoidal category freely generated ...
0
votes
1answer
224 views

A question on triangle identities

It is well known that pentagon+triangle identity of type (a1b) implies "all diagrams commute" monoidal category, in particular triangle identities of type (1ab) and (ab1). My question is that whether ...
8
votes
2answers
573 views

Localization of a symmetric monoidal category at a single morphism

Let $C$ be a symmetric monoidal category, and $f : x \to y$ be a morphism in $C$. I would like to construct the localization $C_f$ explicitly, which solves the universal property ...
13
votes
3answers
567 views

What non-monoidal functors on monoidal categories are used “in nature”?

Background For my PhD dissertation, I've developed a categorical generalization of many different systems of denotational semantics for light linear logic (LLL). I'd like to see if I can use this ...
5
votes
2answers
438 views

Module categories over symmetric/braided monoidal categories

Given an algebraically closed field $k$ and a finitely generated commutative $k$-algebra $A$, all simple modules over $A$ are 1-dimensional What is the analogous statement for symmetric monoidal ...
5
votes
1answer
143 views

Extending braidings to tensor powers

Given a braiding $\Psi: X \otimes Y \to Y \otimes X$ for two objects $X,Y$ in a monoidal category, it seems reasonable to assume that $\Psi$ extends uniquely to a braiding $X^k \otimes Y^l \to Y^l ...
8
votes
1answer
509 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 ...
6
votes
0answers
234 views

Enriched Categories: Metric Spaces, Monoidal Endofunctors and Lipschitz-Continuous Maps.

In the introduction to the reprint of "Metric spaces, generalized logic and closed categories" Lawvere talks about the following situation: Let $\mathbb R_+$ denote $\mathbb R_{\geq 0}^\infty$. Every ...
4
votes
0answers
243 views

Reshetikhin-Turaev and links with a distinguished component

Hi, This question came up to me when reading the paper of Cartier on Vassiliev invariants, but it can probably be turned into a more general question. Let $T$ be the category whose objects are ...
4
votes
1answer
239 views

Definition of enriched caterories or internal homs without using monoidal categories.

I know this question may seem nonsensical at first but let me exlain what i have in mind: In enriched category theory we define categories enriched over a monoidal category $(\mathcal{V},\otimes, ...
6
votes
2answers
402 views

Does the dual of an object with trivial symmetry also have trivial symmetry?

Let $C$ be a symmetric monoidal category. I am interested in objects $X \in C$ such that the symmetry $S_{X,X} : X \otimes X \cong X \otimes X$ is equal to the identity. There are many examples of ...
14
votes
0answers
631 views

Is the category of smooth manifolds equivalent to the opposite category of the category of commutative monoids of some additive symmetric monoidal category?

This is a followup to my previous question, which asked whether the category of commutative or noncommutative C*-algebras or von Neumann algebras is equivalent to the category of commutative or ...
9
votes
1answer
692 views

Gamma spaces and monoidal categories

In his paper "Categories and cohomology theories" Graeme Segal gives examples how to construct a Gamma category and therefore also a Gamma space from a strict monoidal category like finite chain ...
28
votes
0answers
630 views

Enriched Categories: Ideals/Submodules and algebraic geometry

While working through Atiyah/MacDonald for my final exams I realized the following: The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed ...
4
votes
1answer
774 views

Understanding Penrose diagrammatical notation

I arrived to Penrose's paper Applications of negative dimensional Tensors after reading some bits of Baez's Prehistory (link) and the first two chapters of Turaev's Quantum invariants of knots and ...
3
votes
0answers
125 views

Show that duality functor is anti-monoidal

Let $\mathcal{C}$ be a right rigid (not strict) monoidal category with associativity constraint $\Phi$. Let $J_{UV}: U^*\otimes V^*\to (V\otimes U)^*$ the canonical isomorphism for every objects ...
4
votes
0answers
247 views

When is the cofibrant replacement of a product the product of the cofibrant replacements?

I'm in a situation where I'd like to prove $Q(E\otimes E) \simeq QE \otimes QE$ for a monoid $E$ in a symmetric monoidal model category. I know it's not true in general that $Q(E\otimes F)\simeq QE ...
5
votes
1answer
239 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
1answer
844 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 ...
2
votes
3answers
434 views

Action on tensor power and “element notation” in monoidal categories

Let $C$ be a symmetric monoidal category. Fix an object $X$, let $S$ denote the symmetry $X \otimes X \to X \otimes X$. Also define $X^{\otimes n}$ by induction on $n$: $X^{\otimes 0} = 1$, ...
1
vote
0answers
123 views

A simple example of a tame tensor functor

Let $C$ be a $R$-linear cocomplete tame abelian tensor category (see here for definitions) with unit $1$, then there is a unique $R$-linear cocontinuous tensor functor $F : \text{Mod}(R) \to C$, ...
5
votes
1answer
288 views

representing tensor-C*-categories in BIM

Given a factor M (=von Neumann alg. with center ℂ), let us write BIM for the ⊗-C*-category of M-M-bimodules. Which ⊗-C*-categories can one faithfully embed into BIM? ⓵ Are ...
4
votes
1answer
352 views

Is the functor of divided powers a weakly monoidal functor?

Let $R$ be a commutative ring with identity $e$. For every $R$-module $M$ the algebra of divided powers $D(M)$ is defined as follows. The generators of $D(M)$ are the symbolls $m^{(k)}$ for every ...