The tag has no wiki summary.

learn more… | top users | synonyms

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 ...
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 ...
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 ...
10
votes
0answers
195 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 ...
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: ...
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 ...
7
votes
0answers
131 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 ...
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 ...
5
votes
0answers
115 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 ...
4
votes
0answers
89 views

Ribbon Algebras and Co-(dual)-quasi-triangular Hopf Algebras

As is well-known, one can use the coquasi-triangular structure $\cal R$ of $U_q(\frak{g})$ to give it's category of (right) modules $\cal{M}_{U_q(\frak{g})}$ the structure of a braided monoidal ...
4
votes
0answers
313 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
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
0answers
246 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 ...
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 ...
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 ...
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 ...
3
votes
0answers
164 views

What is the underlying graphical calculus of the Interactions-Round-a-Face lattice model?

Background Let $\mathcal{L}$ be an $m \times n$ square lattice on a torus, and let $\Sigma$ be a finite set. We think of $\Sigma$ as the possible spin values that can be assigned to the points of the ...
2
votes
0answers
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 ...
2
votes
0answers
103 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 ...
2
votes
0answers
81 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 ...
2
votes
0answers
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 ...
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 ...
1
vote
0answers
141 views

The bar construction or the quotient for monoidal category action on a category

Given a monoid $C$ acting (from the right) on a set $M$, there is a bar construction giving a simplicial set or equivalently a translation/action category, $$ N_\bullet (M\rtimes C)= \cdots M\times ...
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 ...
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$, ...
0
votes
0answers
87 views

Quantum Bayesian update and Bayesian update of a model category

We know that we can have internal categories in a model category. We also know that there is a notion of Quantum Bayesian update in a monoidal category. Does the Quantum Bayesian update (equation ...
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 ...