English

On generalized equilogical spaces

Category Theory 2018-11-21 v1

Abstract

In this paper we carry the construction of equilogical spaces into an arbitrary category X\mathsf{X} topological over Set\mathsf{Set}, introducing the category X\mathsf{X}-Equ\mathsf{Equ} of equilogical objects. Similar to what is done for the category Top\mathsf{Top} of topological spaces and continuous functions, we study some features of the new category as (co)completeness and regular (co-)well-poweredness, as well as the fact that, under some conditions, it is a quasitopos. We achieve these various properties of the category X\mathsf{X}-Equ\mathsf{Equ} by representing it as a category of partial equilogical objects, as a reflective subcategory of the exact completion Xex\mathsf{X}_{_{{\rm ex}}}, and as the regular completion Xreg\mathsf{X}_{_{{\rm reg}}}. We finish with examples in the particular cases, amongst others, of ordered, metric, and approach spaces, which can all be described using the (T,V)(\mathbb{T},\mathsf{V})-Cat\mathsf{Cat} setting.

Keywords

Cite

@article{arxiv.1811.08240,
  title  = {On generalized equilogical spaces},
  author = {Willian Ribeiro},
  journal= {arXiv preprint arXiv:1811.08240},
  year   = {2018}
}

Comments

20 pages

R2 v1 2026-06-23T05:22:06.904Z