Duoid in a duoidal

Last updated Sep 8, 2023

Tags: duoidal category, Braided monoidal category, Lax duoid.

References

• Commutativity (Garner, Lopez Franco, 2015)