Mario Román

Search

Search IconIcon to open search

Lax duoid

Last updated Apr 15, 2025

A duoid is a duoid in the braided monoidal bicategory of posets with the product; this is in the same sense that a monoid is a monoid in the monoidal category of sets with the product.

I used to call these lax duoid, to signal that they are not merely commutative monoids.

lax-duoid

See: Poset, Duoidale, Free posetal duoidale, duoidal category, Eckmann-Hilton argument.