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 requires us to take nominal sets as a monoidal category, not with the cartes…