摘要：离散等式理论中的操作是由离散度条件确定的。我们将相应的单子范畴描述为保持满射的单子。利用这一结果，我们证明了离散理论代数范畴的Birkhoff型定理。这扩展了已知结果从度量空间到一般对称幺半闭范畴。
作者：Jiv{r}''i Rosick''y
论文ID：2204.02590
分类：Category Theory
分类简称：math.CT
提交时间：2023-08-21
PDF 下载： 英文版 中文版pdf翻译中