Scifaro

中文

分类非交换项序的偏序集

组合数学 2007-05-23 v1

作者: Jan Snellman

在 arXiv 上查看 ↗ PDF ↗

摘要

我们研究可数字母表上自由单子中的某个偏序集。该偏序集由如下事实确定：其全扩展恰好是标准项序。我们还研究了分类度相容标准项序的偏序集，以及分类有序项序的偏序集。对于后者，我们给出其与 Young 格的一个 Galois 余连接。

关键词

偏序集自由单子项序 Young 格 Galois 余连接

引用

@article{arxiv.math/0201083,
  title  = {A poset classifying non-commutative term orders},
  author = {Jan Snellman},
  journal= {arXiv preprint arXiv:math/0201083},
  year   = {2007}
}