Commit 2025-07-11 11:47 765fdacd
View on Github →feat: CommAlgCat
is cocartesian-monoidal (#25365)
Construct the cocartesian-monoidal category structure on CommAlgCat R
explicitly from the tensor product.
From Toric
feat: CommAlgCat
is cocartesian-monoidal (#25365)
Construct the cocartesian-monoidal category structure on CommAlgCat R
explicitly from the tensor product.
From Toric