Mario Román

Search

Search IconIcon to open search

Mixing normal duoidals

Last updated Jun 18, 2024

mixing-duoidals mixed-multicategory-of-a-produoidal

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

Tags: normal duoidal category.