The string-diagrams tag has no usage guidance.

**4**

votes

**0**answers

47 views

### Temporal semantics for string diagrams

Suppose I have a string diagram $D$ which involves a set of strings $S$ and atomic processes $A$. Formally, we should think of this as a canonically chosen map in the free symmetric monoidal category (...

**2**

votes

**0**answers

44 views

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

I am currently working through Peter Selinger's paper "Towards a Quantum Programming Language", and trying to connect it with what I already know about monoidal categories and string diagrams.
...

**4**

votes

**1**answer

109 views

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

Given a monoidal category, it is a theorem of Joyal and Street that an equation between string diagrams is provable from the axioms if and only if there is a recumbent isotopy that relates them. The ...

**6**

votes

**2**answers

255 views

### String diagrams for bimodules over noncommutative algebras?

I'm trying to do some calculations with bimodules (over Azumaya algebras, as it happens), and I need a string diagram notation that mixes the tensor product over the base ring (a symmetric monoidal ...

**7**

votes

**1**answer

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

**8**

votes

**2**answers

373 views

### Diagram calculus for weak 2-functors between bicatgories

I have to do some messy calculations with weak 2-functors between bicategories, and I know the most efficient way to do it would be via some sort of string diagram methods. Also, it means that I can ...