symmetric monoidal category of points

Last updated Oct 14, 2024

• symmetric monoidal category with points