English

Topological lax comma categories

Category Theory 2025-12-09 v2 General Topology

Abstract

This paper investigates the interplay between properties of a topological space XX, in particular of its natural order, and properties of the lax comma category TopX\mathsf{Top} \Downarrow X, where Top\mathsf{Top} denotes the category of topologicalspaces and continuous maps. Namely, it is shown that, whenever XX is a topological \bigwedge-semilattice, the canonical forgetful functor TopXTop\mathsf{Top} \Downarrow X \to \mathsf{Top} is topological, preserves and reflects exponentials, and preserves effective descent morphisms. Moreover, under additional conditions on XX, a characterisation of effective descent morphisms is obtained.

Keywords

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

R2 v1 2026-06-28T23:02:06.054Z