Lax duoid

Last updated Aug 28, 2024

See: Poset, Duoidale, Free posetal duoidale, duoidal category.