A general method for building reflections
From MaRDI portal
Logical aspects of lattices and related structures (03G10) Categorical logic, topoi (03G30) Stone spaces (Boolean spaces) and related structures (06E15) Topoi (18B25) Preorders, orders, domains and lattices (viewed as categories) (18B35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Resolutions; derived functors (category-theoretic aspects) (18G10)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 2125670 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
Cited in
(2)
This page was built for publication: A general method for building reflections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2015819)