Search
❯
May 10, 20251 min read
Tags: partial function, normal duoidal category, duoidal normalization.