Author:
Adelman M.,Johnstone P.T.
Abstract
We prove first that a logical fraction functor from a topos to a topos must be a filter-power functor, then we prove that such functors can have adjoints only when the filter is principal. Finally we refine this so that we are able to prove that the filter-power of a Grothendieck topos is Grothendieck if and only if the filter is principal.
Publisher
Cambridge University Press (CUP)
Reference8 articles.
1. Categories of continuous functors, I
2. On the forcing construction;Adelman;Report of the Sydney Category Seminar,1978
3. Sur quelques points d'algèbre homologique;Grothendieck;Tôhoku Math. J.,1957
4. Calculus of Fractions and Homotopy Theory
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Filter quotients and non-presentable (∞,1)-toposes;Journal of Pure and Applied Algebra;2021-12
2. L;Encyclopaedia of Mathematics;1995
3. L;Encyclopaedia of Mathematics;1990