Lax duoid

Last updated Sep 8, 2023

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