Scifaro

中文

通过闭包实现 Lawvere 完备性与分离

范畴论 2008-01-03 v1 一般拓扑

作者: Dirk Hofmann , Walter Tholen

在 arXiv 上查看 ↗ PDF ↗

摘要

对于量化子 $\V$ ，首先提出了一种在 $\V$ -范畴中关于完备性与分离性的闭包理论方法。随后，该方法被推广至 $\Tth$ -范畴，其中 $\Tth$ 是一个蕴含集合单子 $\mT$ 且在 $\V$ 上具有相容 $\mT$ -代数结构的拓扑理论。

关键词

Lawvere 完备性分离性闭包理论量化子 V-范畴拓扑理论集合单子

引用

@article{arxiv.0801.0199,
  title  = {Lawvere completion and separation via closure},
  author = {Dirk Hofmann and Walter Tholen},
  journal= {arXiv preprint arXiv:0801.0199},
  year   = {2008}
}