序丰富范畴的量子胚完备化及其应用
范畴论
2023-06-22 v2
摘要
通过引入序丰富范畴的量子胚完备化概念，研究了量子胚范畴与序丰富范畴范畴之间的关系。证明了序丰富范畴的量子胚完备化可完全刻画为幂集完备化的相容商。作为应用，我们表明序丰富范畴的一类特殊内射包是 MacNeille 完备化；序丰富范畴上的自由量子胚是下集完备化。
引用
@article{arxiv.2211.10932,
title = {Quantaloidal Completions of Order-enriched Categories and Their Applications},
author = {Min Liu and Yulin Li},
journal= {arXiv preprint arXiv:2211.10932},
year = {2023}
}