The tag has no wiki summary.

learn more… | top users | synonyms

11
votes
1answer
614 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
368 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
266 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
255 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
131 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
304 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
229 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
433 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
318 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
586 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
501 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
191 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
373 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
161 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
533 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
200 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
406 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
327 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
385 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
369 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
223 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
560 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
549 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
432 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
506 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
229 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
239 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
233 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
399 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
618 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
676 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 ...
27
votes
0answers
615 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
738 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
226 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
233 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
837 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
433 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
122 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
286 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
346 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
516 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
365 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
473 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. ...