2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Samuel Balco, Alexander Kurz
We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that…