Mixing normal duoidals

Last updated Jun 18, 2024

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

Tags: normal duoidal category.