79 citations · 222 across the 14 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2016★ 23 cited
Rewriting modulo symmetric monoidal structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs). They find many applications in computer science and are becoming in…
math.CT2011★ 33 cited
Being Van Kampen is a universal property
Pawel Sobocinski, Tobias Heindel
Colimits that satisfy the Van Kampen condition have interesting exactness properties. We show that the elementary presentation of the Van Kampen condition is actually a characteris…