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