Scifaro

中文

偏序集是全序集的自由保守余完备化

范畴论 2024-04-22 v1

作者: Calin Tataru

在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明偏序集范畴 $\mathsf{Pos}$ 等价于有限非空全序集范畴 $\Delta$ 的自由保守余完备化， $\Delta$ 也被称为单纯范畴。

关键词

偏序集自由保守余完备化全序集单纯范畴范畴论

引用

@article{arxiv.2404.12924,
  title  = {Partial orders are the free conservative cocompletion of total orders},
  author = {Calin Tataru},
  journal= {arXiv preprint arXiv:2404.12924},
  year   = {2024}
}