Monoidal width as a duoidal functor

Tags: Produoidal functor, Promonoidal category of spliced arrows, Monoidal Width (Di Lavore, Sobocinski, 2022), timing monoidal lax categories.