A general method for building reflections
arXiv:1112.3603
Abstract
We establish a general method for generating reflections between categories. We then apply our technique to generate adjunctions starting from geometric morphisms between Grothendieck toposes; as particular cases, we recover various well-known Stone-type adjunctions and establish several new ones.
23 pages