作为经典代数或有序代数簇的范畴
范畴论
2024-02-23 v1
摘要
遵循 Lawvere 和 Linton 的思想，我们证明经典簇恰好是具有簇生成子的正合范畴。这意味着一个抽象有限且正则投射的强生成子。本文还给出了有序代数簇的类似刻画。我们研究序丰富范畴，并引入子正合范畴和子正则投射的概念（自然对应于普通情形）。有序代数簇恰好是具有子簇生成子的子正合范畴。这意味着一个抽象有限且子正则投射的强生成子。
引用
@article{arxiv.2402.14557,
title = {Categories which are varieties of classical or ordered algebras},
author = {Jiri Adamek},
journal= {arXiv preprint arXiv:2402.14557},
year = {2024}
}