Lax optics

Tags: monoidal bicategory, optics, Lax coend