Interacting Monoidal Structures with Applications in Computing

James Cranch, Georg Struth

With a view on applications in computing, in particular concurrency theory and higher-dimensional rewriting, we develop notions of $n$-fold monoid and comonoid objects in $n$-fold…