Monoidal width as a duoidal functor

Last updated Apr 23, 2024

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