Bimonoid in a duoidal

Last updated Apr 23, 2024

Tags: Commutativity (Garner, Lopez Franco, 2015), duoidal category, Strings for duoidal categories, Duoid in a duoidal.