/Category/Duoidal/Kind

λ(cat : ../Monoidal/Sort) →
λ(vObject : Kind) →
λ(object : Kind) →
  ../Kind cat vObject object ⩓ ../../Duoid/Kind cat object

/caterwaul/Category/Duoidal/Kind