Search
❯
Jul 24, 20251 min read
Tags: shuffle, shuffling monoidal category, produoidal normalization, shuffling words