English

Admissibility, stable units and connected components

Category Theory 2011-12-20 v1

Abstract

Consider a reflection from a finitely-complete category C\mathbb{C} into its full subcategory M\mathbb{M}, with unit η:1CHI\eta :1_\mathbb{C}\rightarrow HI. Suppose there is a left-exact functor UU into the category of sets, such that UHUH reflects isomorphisms and U(ηC)U(\eta_C) is a surjection, for every CCC\in\mathbb{C}. If, in addition, all the maps M(T,M)Set(1,U(M))\mathbb{M}(T,M)\rightarrow \mathbf{Set}(1,U(M)) induced by the functor UHUH are surjections, where TT and 1 are respectively terminal objects in C\mathbb{C} and Set\mathbf{Set}, for every object MM in the full subcategory M\mathbb{M}, then it is true that: the reflection HIH\vdash I is semi-left-exact (admissible in the sense of categorical Galois theory) if and only if its connected components are "connected"; it has stable units if and only if any finite product of connected components is "connected". Where the meaning of "connected" is the usual in categorical Galois theory, and the definition of connected component with respect to the ground structure will be given. Note that both algebraic and topological instances of Galois structures are unified in this common setting, with respect to categorical Galois theory.

Keywords

Cite

@article{arxiv.1112.4277,
  title  = {Admissibility, stable units and connected components},
  author = {J. J. Xarez},
  journal= {arXiv preprint arXiv:1112.4277},
  year   = {2011}
}

Comments

10 pages

R2 v1 2026-06-21T19:53:36.649Z