Quantaloid-丰富范畴的对称性与柯西完备化
范畴论
2011-06-24 v3
摘要
我们在对合quantaloid Q上阐述了一个基本条件，在该条件下，从柯西完备化单子到对称化余单子，在Q-丰富范畴的范畴上存在一个分配律。对于这样的quantaloid，我们称之为柯西双边quantaloid，由此可得任何对称Q-丰富范畴的柯西完备化仍然是对称的。例子包括Lawvere的非负实数quantale和Walters的闭筛小quantaloid。
引用
@article{arxiv.1005.1018,
title = {Symmetry and Cauchy completion of quantaloid-enriched categories},
author = {Hans Heymans and Isar Stubbe},
journal= {arXiv preprint arXiv:1005.1018},
year = {2011}
}
备注
18 pages, final version