Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJun 10th 2017
   • (edited Jun 10th 2017)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI wish we had a decent account at _[sheaf toposes are the accessible left exact reflective subcategories of presheaf toposes](https://ncatlab.org/nlab/show/sheaf+toposes+are+equivalently+the+left+exact+reflective+subcategories+of+presheaf+toposes)_. Presently the account that the $n$Lab gives of the important fact is not very good. It's stated at _[[category of sheaves]]_ with proof by pointer to _[[reflective (infinity,1)-category]]_, which in turn points to Lurie's HTT. The crucial point about the accessibility condition is presently discussed, very briefly, without cross-links at _[[reflective subcategory]]_ [here](https://ncatlab.org/nlab/show/reflective+subcategory#AccessibleReflectiveSubcategories). So all this should be collected coherently in one place, which we can then link to. I seem to remember that the statement was a bit scattered in the Elephant, and I thought we had pointers to the relevant propositions in the Elephant on the $n$Lab, but now I don't find them anymore.

   I wish we had a decent account at sheaf toposes are the accessible left exact reflective subcategories of presheaf toposes.

   Presently the account that the $n$Lab gives of the important fact is not very good. It’s stated at category of sheaves with proof by pointer to reflective (infinity,1)-category, which in turn points to Lurie’s HTT. The crucial point about the accessibility condition is presently discussed, very briefly, without cross-links at reflective subcategory here.

   So all this should be collected coherently in one place, which we can then link to.

   I seem to remember that the statement was a bit scattered in the Elephant, and I thought we had pointers to the relevant propositions in the Elephant on the $n$Lab, but now I don’t find them anymore.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJun 10th 2017
   • PermaLink
   Author: Urs
   Format: MarkdownItexAh, it's explicit in Borceux, _[[Handbook of Categorical Algebra]]_ vol. 3 corollary 3.5.5, using the definition of "localization = lex reflection" from vol 1, def.3.5.5. Hm, no mentioning of accessibility. I am confused about this point.

   Ah, it’s explicit in Borceux, Handbook of Categorical Algebra vol. 3 corollary 3.5.5, using the definition of “localization = lex reflection” from vol 1, def.3.5.5.

   Hm, no mentioning of accessibility. I am confused about this point.

3. • CommentRowNumber3.
   • CommentAuthorMike Shulman
   • CommentTimeJun 10th 2017
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexFor 1-toposes, accessibility is automatic.

   For 1-toposes, accessibility is automatic.

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeJun 10th 2017
   • PermaLink
   Author: Urs
   Format: MarkdownItexOkay, thanks. How does that follow?

   Okay, thanks. How does that follow?

5. • CommentRowNumber5.
   • CommentAuthorTodd_Trimble
   • CommentTimeJun 10th 2017
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexNot only are sheaf toposes locally presentable, they are [[cototal categories]]; see [here](https://ncatlab.org/nlab/show/Grothendieck+topos#general). In that situation the following version of the adjoint functor theorem applies: a functor $i: E \to F$ between sheaf toposes has a left adjoint iff it preserves limits. Now apply Theorem 2.2 of [[adjoint functor theorem]].

   Not only are sheaf toposes locally presentable, they are cototal categories; see here. In that situation the following version of the adjoint functor theorem applies: a functor $i: E \to F$ between sheaf toposes has a left adjoint iff it preserves limits. Now apply Theorem 2.2 of adjoint functor theorem.

6. • CommentRowNumber6.
   • CommentAuthorMike Shulman
   • CommentTimeJun 10th 2017
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexWhat fails in the $\infty$-case, though (at least apparently --- I don't know a counterexample), is that a left exact localization of a Grothendieck $(\infty,1)$-topos may no longer be a Grothendieck $(\infty,1)$-topos. So I would turn your argument around, Todd: the reason that the subtopos is itself Grothendieck is because the localization functor is accessible, not the other way around. Morally, the localization functor is accessible because it's determined by a universal closure operator and hence by an endomorphism of the impredicative subobject classifier, which is a "small amount of data". More generally, any *topological* localization of an $(\infty,1)$-topos is automatically accessible, for essentially the same reason; see HTT 6.2.1.5.

   What fails in the $\infty$-case, though (at least apparently — I don’t know a counterexample), is that a left exact localization of a Grothendieck $(\infty,1)$-topos may no longer be a Grothendieck $(\infty,1)$-topos. So I would turn your argument around, Todd: the reason that the subtopos is itself Grothendieck is because the localization functor is accessible, not the other way around. Morally, the localization functor is accessible because it’s determined by a universal closure operator and hence by an endomorphism of the impredicative subobject classifier, which is a “small amount of data”. More generally, any topological localization of an $(\infty,1)$-topos is automatically accessible, for essentially the same reason; see HTT 6.2.1.5.

7. • CommentRowNumber7.
   • CommentAuthorTodd_Trimble
   • CommentTimeJun 10th 2017
   • (edited Jun 11th 2017)
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexWell, for any onlookers: nothing I said is incorrect, and it does provide an answer to Urs's question. Or to be more precise, I thought the question was: why is an inclusion $i: E \to F$ (a fully faithful functor with a lex reflector) between sheaf toposes accessible? In that case, you don't need to prove that $E$ is Grothendieck; it's Grothendieck because sheaf toposes are [[Grothendieck toposes]] by definition. And that was the question I was answering. Now maybe you're addressing Urs's actual underlying concern more directly (which has an eye toward the $(\infty, 1)$-situation). In which case, fine. Of course, the argument I'm offering up has a different kind of generality to it.

   Well, for any onlookers: nothing I said is incorrect, and it does provide an answer to Urs’s question.

   Or to be more precise, I thought the question was: why is an inclusion $i: E \to F$ (a fully faithful functor with a lex reflector) between sheaf toposes accessible? In that case, you don’t need to prove that $E$ is Grothendieck; it’s Grothendieck because sheaf toposes are Grothendieck toposes by definition. And that was the question I was answering.

   Now maybe you’re addressing Urs’s actual underlying concern more directly (which has an eye toward the $(\infty, 1)$-situation). In which case, fine. Of course, the argument I’m offering up has a different kind of generality to it.

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeJun 11th 2017
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks, Todd and Mike. Sorry, my question wasn't good, it is answered already by just the adjoint functor theorem for locally presentable categories. Thanks to both of you for answering one of two better questions that I should have asked instead! :-) I have made a minimum note at _[[sheaf toposes are equivalently the left exact reflective subcategories of presheaf toposes]]_, not, however, yet incorporating either of what you said.

   Thanks, Todd and Mike.

   Sorry, my question wasn’t good, it is answered already by just the adjoint functor theorem for locally presentable categories. Thanks to both of you for answering one of two better questions that I should have asked instead! :-)

   I have made a minimum note at sheaf toposes are equivalently the left exact reflective subcategories of presheaf toposes, not, however, yet incorporating either of what you said.