Mixing normal duoidals

Last updated Sep 8, 2023

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

Tags: normal duoidal category.