Search Results

$\DeclareMathOperator\Rep{Rep}\DeclareMathOperator\Vect{Vect}\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\GL{GL}\DeclareMathOperator\Hom{Hom}$The infinitude of the in …

There is an idea I've recently gotten interested in that doesn't seem to have a good agreed-upon name ("diagrammatic algebra?"). It centers around the use of two-dimensional diagrams of dots, possibl …

One way to think about what the monoidal structure on vector spaces is doing is that it is telling us that vector spaces do not really form a category, or not "just" a category: they form a multicateg …

If $\otimes : V \times V \to V$ has a left adjoint and $V$ has finite products then $\otimes$ preserves them in the sense that the natural map $$(X \times Y) \otimes (Z \times W) \to (X \otimes Z) \ti …

In a nonabelian setting the correct notion of kernel is given by the kernel pair, and the correct notion of cokernel is given by the cokernel pair. For example, in any category, a morphism $f : a \to …

Supervector spaces look a lot like the category of representations of $\mathbb{Z}/2\mathbb{Z}$ - the even part corresponds to the copies of the trivial representation and the odd part corresponds to t …

Look at Section 3 of Leinster's Higher Operads, Higher Categories, where the term used is "unbiased monoidal category."

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 monoida …

If $L$ and $R$ are a left and right adjoint, then doctrinal adjunction asserts that $L$ is oplax monoidal iff $R$ is lax monoidal. (I'm being a bit imprecise here, treating monoidality as if it were a …

Lemma: In a closed symmetric monoidal category where the unit object $1$ is tiny (meaning $\text{Hom}(1, -)$ preserves colimits), every dualizable object is tiny. Proof. If $x$ is dualizable, the …

In the comments you ask: The question is the following: if I have an "abstract" category (or even a subcategory in the category of vector spaces), how can I understand that this is the category of …

If $M$ is any monoidal category, the presheaf category $[M^{op}, \text{Set}]$ inherits a monoidal structure given by Day convolution. It is uniquely determined by the condition that it restricts to th …

No. What follows appears to be a counterexample for $C = \text{Vect}$ (I don't understand where in your argument you prove fullness). Let $M = \text{Vect}^{op}, C = \text{Vect}$, and let $h : \text{V …

Let me see if I understand what Jacob says in the comments. I think his argument can be summarized as: the Brauer 3-group is étale-locally an Eilenberg-MacLane spectrum, hence étale-locally an $\mathb …

As a warmup, an $\mathbb{N}$-graded ring is a monoid object in the symmetric monoidal category of $\mathbb{N}$-graded abelian groups under the convolution tensor product, which you can think of as Day …