Premonoidal opticsLast updated Feb 3, 2024Tags: Proeffectful categories, Premonoidal optics may not be a prostrong promonad, Promonoidal category of optics.— title: “Premonoidal optics” date: “2023-05-02T11:55”
