symmetric monoidal category with points

Last updated Oct 14, 2024