Bimonoid in a duoidal

Last updated Sep 8, 2023

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