Topological lax comma categories
Category Theory
2025-12-09 v2 General Topology
Abstract
This paper investigates the interplay between properties of a topological space , in particular of its natural order, and properties of the lax comma category , where denotes the category of topologicalspaces and continuous maps. Namely, it is shown that, whenever is a topological -semilattice, the canonical forgetful functor is topological, preserves and reflects exponentials, and preserves effective descent morphisms. Moreover, under additional conditions on , a characterisation of effective descent morphisms is obtained.
Cite
@article{arxiv.2504.12965,
title = {Topological lax comma categories},
author = {Maria Manuel Clementino and Dirk Hofmann and Rui Prezado},
journal= {arXiv preprint arXiv:2504.12965},
year = {2025}
}
Comments
26p + 3p refs