Search
❯
Jul 24, 20251 min read
Tags: star-autonomous category, string diagram, closed monoidal category