# Tag Info

Accepted

### The two ways Feynman diagrams appear in mathematics

If I understand the question correctly, the search is for a calculation of the asymptotic expansion of Gaussian integrals using concepts and techniques from category theory. Here is one such ...
• 168k

### Proof that a Cartesian category is monoidal

There is a complete proof formalised by Scott Morrison in the Lean proof assistant here: monoidal/of_has_finite_products.lean [UPDATE] Here is some commentary. In the above file, we see ...
• 53.9k
Accepted

### Does every monoidal category admit a braiding?

No, sometimes there are even $x,y$'s with no abstract isomorphism $x\otimes y \cong y\otimes x$. Here are two families of examples: Monoids, viewed as discrete categories. The tensor product is just ...
• 11.5k
Accepted

### Categorical presentation of direct sums of vector spaces, versus tensor products

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 ...
• 113k

• 53.9k

### Abelian categories that are not monoidal

In the paper Hovey, Mark, Additive closed symmetric monoidal structures on R-modules, J. Pure Appl. Algebra 215, No. 5, 789-805 (2011). ZBL1223.18005. Hovey shows the following theorem (Theorem 3.3) ...
• 1,367
Accepted

### Uniqueness of dualizing objects

If a dualizing object exists, there is a bijection between isomorphism classes of dualizing objects and isomorphism classes of $\otimes$-invertible objects (i.e. the Picard group), given by tensoring ...
• 56.6k

### Proof that a Cartesian category is monoidal

In Categories for the Working Mathematician, the first thing that Mac Lane does after defining a monoidal category in Ch. VII.1 is to verify that a category with finite products is monoidal. The ...
• 56.6k
Accepted

### Proof that the unit of a Cartesian monoidal category is terminal

Here is a down-to-earth answer. For ease of notation, let $\lambda: A\to I\times A$ be the component of the unitor and let $\pi_1$ and $\pi_2$ be the projections from $I\times A$ to $I$ and $A$. Then ...
Accepted

### Trace in the category of propositional statements

To start with, I just want to make sure no one gets the impression that the categorical notion of trace was introduced by the paper you linked to; however "semi-famous" it might or might not be, it's ...
• 63.6k
Accepted

### Is there a generalization of braided monoidal category without the isomorphism requirement?

Day, Panchadcharam, and Street have a paper on lax braidings, though I don't think it could be called a common notion. Anyway, "lax" seems to be the obvious terminology to try here.
• 2,716

### String diagrams for bimonoidal categories (a.k.a. rig categories)?

This question is answered in the affirmative in the following preprint: Cole Comfort, Antonin Delpeuch, Jules Hedges, Sheet diagrams for bimonoidal categories, arXiv:2010.13361 The morphisms are ...
• 131

### What is a tensor category?

There is no single accepted definition of “tensor category” that matches all uses. Almost always it means abelian (or a similar cocomplete condition) and k-linear. Usually it also means rigid. Often ...
• 27.5k
Accepted

### What is a tensor category?

There seem to be many different definitions in the literature, based on individual papers. But, I think that might change, now that the textbook Tensor Categories, by Etingof, Gelaki, Nikshych, and ...
• 24.8k