The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
128 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
298 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
225 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
423 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
317 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 ...
9
votes
3answers
573 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
164 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
465 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
184 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
371 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
160 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
522 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
199 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
399 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
319 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
369 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
170 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
368 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
222 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
547 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
529 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
423 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
142 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
504 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 ...
5
votes
0answers
226 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
235 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
231 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
395 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
612 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
657 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 ...
26
votes
0answers
592 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
699 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
123 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
225 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
228 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
829 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
432 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
120 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
285 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
345 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 ...
3
votes
1answer
481 views

Tame abelian tensor categories

In the article "Tannaka duality for geometric stacks" (arxiv, see nlab for a summary) Jacob Lurie introduced the notion of a tame abelian tensor category. An abelian tensor category is called tame if ...
5
votes
1answer
222 views

Do plain functors out of monoidal categories factor into a nontrivial monoidal part and a plain part?

Given symmetric monoidal closed categories $C, D$, a symmetric monoidal (not closed!) functor $F:C\to D$ factors into two parts: the first is a symmetric monoidal closed functor from $C$ to a ...
0
votes
1answer
511 views

universal property of module categories internal to a tensor category

By a tensor category, I mean here a cocomplete $k$-linear symmetric tensor category, where $k$ is a fixed ground ring. Tensor functors are assumed to be $k$-linear and cocontinuous. I will denote the ...
3
votes
1answer
133 views

Epimorphisms between line objects

Let $\mathcal{A}$ be a $k$-linear abelian symmetric tensor category with unit $\mathcal{O}_A$; here $k$ is a comm. ring. By that I assume implicitly that $\otimes$ is finitely cocontinuous in each ...
5
votes
3answers
360 views

Does one of the hexagon identities imply the other one?

Suppose we have a monoidal category equipped with additional data that almost makes it a braided monoidal category except that only one of the hexagon identities is satisfied. Can we then prove the ...
8
votes
2answers
469 views

Gerbes and Z-graded symmetric monoidal categories

Let me first recall a known fact. Suppose $X$ is a complex algebraic variety, $\mathscr{L}$ is a line bundle on $X$ and $L^\times$ is the total space of $\mathscr{L}$ with the zero section removed. ...
5
votes
1answer
374 views

graded ring associated to a line bundle in a tensor category

Let $\mathcal{A}$ be an abelian tensor category with unit $\mathcal{O}$. An object $\mathcal{L}$ is called invertible or a line bundle if there is some $\mathcal{L}^{-1}$ such that $\mathcal{L} ...
10
votes
1answer
684 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
280 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 ...