对称幺半范畴上的整概形
On integral schemes over symmetric monoidal categories
摘要：
我们提出了交换对称幺半范畴$(\mathcal C,\otimes,1)$上的“Noether”和“积分”概念。对于Noether整概形，我们构造了一个“函数域”，它是$(\mathcal C,\otimes,1)$的交换幺半群对象。在一定条件下，证明了$(\mathcal C,\otimes,1)$上的Noether格式是积分的当且仅当它是既约的又是不可约的.
英文摘要：
We propose notions of "Noetherian" and "integral" for schemes over an abelian symmetric monoidal category $(\mathcal C,\otimes,1)$. For Noetherian integral schemes, we construct a "function field" that is a commutative monoid object of $(\mathcal C,\otimes,1)$. Under certain conditions, we show that a Noetherian scheme over $(\mathcal C,\otimes,1)$ is integral if and only if it is reduced and irreducible.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
