53 citations · 128 across the 13 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2020★ 2 cited
Unitary pseudonatural transformations
Dominic Verdon
We suggest two approaches to a definition of unitarity for pseudonatural transformations between unitary pseudofunctors on pivotal dagger 2-categories. The first is to require that…
math.CT2017★ 3 cited
Coherence for braided and symmetric pseudomonoids
Dominic Verdon
Presentations for unbraided, braided and symmetric pseudomonoids are defined. Biequivalences characterising the semistrict bicategories generated by these presentations are proven.…