Search
❯
Jul 24, 20251 min read
Tags: premonoidal category, multicategory, algebra for a multicategory.