Lax duoid

Last updated Apr 23, 2024

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