在偏序集上丰富的正则范畴的精确补全
摘要：在部分有序集和单调函数构成的cartesian封闭范畴$mathsf{Pos}$上，我们通过使用适当的关系演算构建了一种对富有正规性的范畴进行的精确完备化。然后我们对任意正规范畴嵌入到其完备化中的性质进行了表征，并利用此得出了一些具体范畴的例子，这些范畴可以被看作是这种完备化的结果。特别地，我们证明了在这种富有正规性的意义下，Stone和Priestley空间的范畴的精确完备化是L. Nachbin的紧有序空间范畴。最后，我们考虑了富有正规性的精确完备化与普通范畴中的内部偏序集范畴之间的关系。
作者：Vasileios Aravantinos-Sotiropoulos
论文ID：2101.10989
分类：Category Theory
分类简称：math.CT
提交时间：2021-07-30