Search
❯
Aug 04, 20261 min read
Tags: Proeffectful categories, Prostrong promonad, Premonoidal optics.