Conjecture - Every duoidal embeds into an adjoint pseudomonoid

Last updated Feb 3, 2024