Mixing normal duoidals

Last updated Apr 23, 2024

Mixing the normal produoidal category of lenses we obtain a lax promonoidal category (a multicategory), corresponding to wiring diagrams.

Tags: normal duoidal category.