Lax comma categories of ordered sets
Category Theory
2023-11-13 v3 General Topology
Abstract
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 .
Cite
@article{arxiv.2212.13541,
title = {Lax comma categories of ordered sets},
author = {Maria Manuel Clementino and Fernando Lucatelli Nunes},
journal= {arXiv preprint arXiv:2212.13541},
year = {2023}
}
Comments
12 pages