有序集的松弛逗号范畴
Lax comma categories of ordered sets
AI总结：
本文研究有序集的松弛逗号范畴 $\mathsf{Ord}//X$，证明其遗忘函子拓扑性等价于 $X$ 完备，并分析其完备性、笛卡尔闭性及下降条件。
摘要：
设 $\mathsf{Ord}$ 为（预）有序集范畴。与行为众所周知的 $\mathsf{Ord}/X$ 不同，关于松弛逗号 2-范畴 $\mathsf{Ord} //X$ 的文献中鲜有记载。本文证明：遗忘函子 $\mathsf{Ord} //X\to \mathsf{Ord} $ 是拓扑的当且仅当 $X$ 是完备的。此外，在适当假设下，$\mathsf{Ord} // X$ 是完备且笛卡尔闭的当且仅当 $X$ 是完备且笛卡尔闭的。最后，我们分析了该范畴中的下降（descent）。具体而言，当 $X$ 完备且笛卡尔闭时，我们证明：对于 $\mathsf{Ord} //X$ 中的态射，在 $\mathsf{Ord} $ 中逐点有效下降是充分的，而在 $\mathsf{Ord} $ 中有效下降是必要的，才能使其在 $\mathsf{Ord} //X$ 中有效下降。
英文摘要：
Let $\mathsf{Ord} $ be the category of (pre)ordered sets. Unlike $\mathsf{Ord}/X$, whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category $\mathsf{Ord} //X$. In this paper we show that the forgetful functor $\mathsf{Ord} //X\to \mathsf{Ord} $ is topological if and only if $X$ is complete. Moreover, under suitable hypothesis, $\mathsf{Ord} // X$ is complete and cartesian closed if and only if $X$ is. We end by analysing descent in this category. Namely, when $X$ is complete and cartesian closed, we show that, for a morphism in $\mathsf{Ord} //X$, being pointwise effective for descent in $\mathsf{Ord} $ is sufficient, while being effective for descent in $\mathsf{Ord} $ is necessary, to be effective for descent in $\mathsf{Ord} //X$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
