Normal multicategory of contextual lenses

Tags: Produoidal algebra of monoidal contexts, Normal monoidal multicategorical contour.