Scifaro

中文

clans 的对偶性：Gabriel-Ulmer 对偶的推广

范畴论 2025-01-20 v3 计算机科学中的逻辑逻辑

作者: Jonas Frey

在 arXiv 上查看 ↗ PDF ↗

摘要

clans 是广义代数理论的表示，其包含的信息多于通过 Gabriel-Ulmer 对偶与模型的局部有限可表现范畴相关联的有限极限范畴。为推广 Gabriel-Ulmer 对偶以解释这一附加信息，我们提出了 clans 与配备某类弱分解系统的局部有限可表现范畴之间的对偶理论。

关键词

clans Gabriel-Ulmer 对偶广义代数理论局部有限可表现范畴弱分解系统对偶理论

引用

@article{arxiv.2308.11967,
  title  = {Duality for Clans: an Extension of Gabriel-Ulmer Duality},
  author = {Jonas Frey},
  journal= {arXiv preprint arXiv:2308.11967},
  year   = {2025}
}

备注

36 pages