摘要：在富集范畴mathcal K上开发通用代数，并将其与富集范畴mathcal K上的有限富集幺半群联系起来。利用它，我们推导出关于有序通用代数的最新结果，其中使用不等式而不是等式。然后，我们将其应用于度量通用代数，其中使用定量方程而不是等式。这有助于理解度量空间范畴上的有限幺半群。
作者：JIv{r}''i Rosick''y
论文ID：2012.14641
分类：Category Theory
分类简称：math.CT
提交时间：2022-02-08
PDF 下载： 英文版 中文版pdf翻译中