# 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 ...

### 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 ...
Accepted

### Monoidal category that is not spacial

One of the simplest examples of a non-spacial category is $\mathrm{End}(\mathrm{Vec}^{\oplus 2})$, the category of $2\times2$ matrices with vector space coefficients. Working over a field $\mathbb k$, ...
Accepted

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

There isn't anything like a graphical calculus really expressly dedicated to rig categories, and well-documented and proved to be coherent, but there are 'approximations' to what you are looking for: ...

### The two ways Feynman diagrams appear in mathematics

Before interpreting them in more advanced language like "string diagrams" or "monoidal closed categories" it might be good to stress that Feynman diagrams are very elementary combinatorial objects ...

Accepted

### Temporal semantics for string diagrams

As you correctly note, the overall duration alone is not compositional data on your processes/diagrams. However, the algorithm you describe gives a clue as to how one could obtain duration data on ...

### Branching behavior in string diagrams/monoidal categories?

You can represent such a branching behaviour in bimonoidal categories (also known as rig categories). In addition to your multiplicative monoidal structure $\otimes$, which is used to represent ...

### Singularity-free isotopies between string diagrams for monoidal categories

This conjecture was confirmed recently, with two different methods: By Jamie and I, as a corollary of our work on the word problem for monoidal categories (in which we give algorithms to detect ...

### How can one represent vector addition diagrammatically in categorical quantum mechanics?

You can use sheet diagrams for bimonoidal categories for this. The tensor product and the direct sum give a bimonoidal structure on $\text{FVect}$ (meaning that one distributes over the other). On top ...
1 vote

### On the correspondence between proof nets and sequents

First, it might be of interest to you to know that Table 1 in this paper by Dominic Hughes compares various diagrammatic presentations of the free *-autonomous category (including the paper you've ...
1 vote
Accepted

### Why is 'every braided monoidal category spacial'?

As shown at the end of the question, the statement is equivalent to another post which proves the relations discussed here. It has now been answered by Peter LeFanu Lumsdaine.
1 vote

### Automated rewriting of string diagrams in symmetric monoidal categories

Double-pushout graph rewriting is actually the basis of a long line of work on automated rewriting techniques for string diagrams: for a very thorough introduction I recommend Aleks Kissinger's PhD ...
1 vote

### How can one represent vector addition diagrammatically in categorical quantum mechanics?

Clearly either of $$\overset{X}{\longrightarrow}\fbox{A}\overset{Y}{\longrightarrow}\\+\\ \overset{X}{\longrightarrow}\fbox{B}\overset{Y}{\longrightarrow}$$ or \overset{X}{\longrightarrow}\...
1 vote

### How can one represent vector addition diagrammatically in categorical quantum mechanics?

Btw, are you reading CQM I and CQM II? Since the actual meat is in the forthcoming CQM III, and in our forthcoming book. When one starts to use the categorical algebra of complementary observables, ...

Only top scored, non community-wiki answers of a minimum length are eligible