Mario Román

Home

❯

notes

❯

pieces

❯

Duoid

Duoid

May 08, 20251 min read

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.

duoid

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.


Graph View

Backlinks

  • Duoid in a duoidal
  • Duomulticategory

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID