Search
❯
Jul 24, 20251 min read
Tags: promonoidal category, optics, Promonoidal category of spliced arrows.