Search
❯
Jul 24, 20251 min read
Tags: Produoidal algebra of monoidal contexts, Normal monoidal multicategorical contour.