Search
❯
Nov 15, 20251 min read
Tags: premonoidal category, promonoidal category, Proeffectful categories