加载中…
Let be the category of (pre)ordered sets. Unlike , whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category . In this paper we show that the forgetful functor is topological if and only if is complete. Moreover, under suitable hypothesis, is complete and cartesian closed if and only if is. We end by analysing descent in this category. Namely, when is complete and cartesian closed, we show that, for a morphism in , being pointwise effective for descent in is sufficient, while being effective for descent in is necessary, to be effective for descent in .

生成讲解博客的中文版本

生成AI智能校验的中文版本