1 paper
Lucas Anderson, Ariel E. Rosenfield, Eric Yu
Toward modeling computational concurrency using the language of central idempotents in monoidal categories, we give an explicit construction of the pushout of strict symmetric mono…