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.
   • CommentAuthorDavidCarchedi
   • CommentTimeSep 28th 2012
   • (edited Sep 28th 2012)
   • PermaLink
   Author: DavidCarchedi
   Format: TextI have noticed the following error in the categorification of a local homeomorphism of spaces into a concept of a local homeomorphism of <latex>n</latex>-topoi. I have a suspicion that it must have been noticed before (at least for <latex>1</latex>-topoi), and if this is true, please view this discussion, in particular, as a reference request. **Background** For a topological space <latex>X,</latex> if <latex>F</latex> is a sheaf, it has an \'etal\'e space <latex>Y_F \to X</latex> which is a local homeomorphism over <latex>X,</latex> and sections of it are exactly the sheaf <latex>F.</latex> The \'etal\'e space construction yields an equivalence of categories <latex>Sh\left(X\right) \simeq Et/X</latex> between the category of sheaves on <latex>X</latex> and the category of local homeomorphisms over <latex>X.</latex> Moreover, assuming <latex>X</latex> is sober, since sober topological spaces embed fully faithfully into topoi, for a sheaf <latex>F,</latex> <latex>Y_F \to X</latex> corresponds to a geometric morphism <latex>Sh(Y_F) \to Sh(X)</latex> and there turns out to be an equivalence of topoi <latex>Sh(Y_F) \simeq Sh(X)/F</latex> under which this geometric morphism is equivalent to the one induced by slicing: <latex>Sh(X)/F \to Sh(X).</latex> Using this as an example, topos theorists said that a geometric morphism of <latex>1</latex>-topoi <latex>\mathcal{F} \to \mathcal{E}</latex> is *\'etale* if it is equivalent to one of the form <latex>\mathcal{E}/E \to \mathcal{E},</latex> and this was to be a ``local homeomorphism'' of <latex>1</latex>-topoi. **The Problem** Define an \'etale geometric morphism of <latex>n</latex>-topoi the same way, i.e. <latex>\mathcal{F} \to \mathcal{E}</latex> is *\'etale* if it is equivalent to one of the form <latex>\mathcal{E}/E \to \mathcal{E}.</latex> Now let <latex>X</latex> be a (sober) topological space. In particular, it is a locale, hence a <latex>0</latex>-topos in the sense of Lurie. Lets write this <latex>0</latex>-topos by <latex>O(X)</latex> (as it is in fact the lattice of opens of <latex>X.</latex>) The maps of locales that are induced by slicing are exactly those which correspond to inclusions of open sublocales. So, an \'etale map of <latex>0</latex>-topoi does not correspond to a local homeomorphism (but it is a particular kind of local homeomorphism). You might ask: So what? Maybe this is just a defect for <latex>n=0.</latex> No, this persists. An <latex>\infty</latex>-topos <latex>\mathcal{X}</latex> is *<latex>n</latex>-localic* if it is equivalent to <latex>\infty</latex>-sheaves on an <latex>n</latex>-site. There is a functor from <latex>n</latex>-topoi to <latex>\infty</latex>-topoi which is fully faithful and whose essential image is <latex>n</latex>-localic <latex>\infty</latex>-topoi, and if <latex>\mathcal{X}</latex> is an <latex>n</latex>-localic, the <latex>n</latex>-topos which is corresponds to is the <latex>\left(n,1\right)</latex>-category of <latex>\left(n-1\right)</latex>-truncated objects of <latex>\mathcal{X}.</latex> Moreover, if <latex>X</latex> is an object of an <latex>\mathcal{X},</latex> then <latex>\mathcal{X}/X</latex> is also <latex>n</latex>-localic *if and only if* <latex>X</latex> is <latex>n</latex>-truncated. So let <latex>X</latex> be an object of <latex>\mathcal{X}</latex> which is <latex>n</latex>-truncated but not <latex>\left(n-1\right)</latex>-truncated. Then the \'etale map of <latex>\infty</latex>-topoi <latex>\mathcal{X}/X \to \mathcal{X}</latex> is a morphism between <latex>n</latex>-localic <latex>\infty</latex>-topoi. Let <latex>\mathcal{F}</latex> denote the <latex>n</latex>-topos associated to <latex>\mathcal{X}/X</latex> and <latex>\mathcal{E}</latex> the one associated to <latex>\mathcal{X}.</latex> Since <latex>n</latex>-topoi embed fully faithfully into <latex>\infty</latex>-topoi as <latex>n</latex>-localic <latex>\infty</latex>-topoi, this \'etale map induced by <latex>X</latex> must correspond to a geometric morphism <latex>\mathcal{F} \to \mathcal{E}.</latex> However, it cannot be an \'etale map of <latex>n</latex>-topoi, since the object <latex>X</latex> is not <latex>\left(n-1\right)</latex>-truncated. Nonetheless, such a geometric morphism is the "correct" notion of a local homeomorphism since if we let <latex>n=0</latex>, this is a local homeomorphism of locales, in the usual sense. Any comments? Has this been noticed for <latex>1</latex>-topoi and is there a name for such geometric morphisms (and is there a characterization of them internal to <latex>1</latex>-topoi?)

   I have noticed the following error in the categorification of a local homeomorphism of spaces into a concept of a local homeomorphism of -topoi. I have a suspicion that it must have been noticed before (at least for -topoi), and if this is true, please view this discussion, in particular, as a reference request.
   
   **Background**
   
   For a topological space if is a sheaf, it has an \'etal\'e space which is a local homeomorphism over and sections of it are exactly the sheaf The \'etal\'e space construction yields an equivalence of categories
   between the category of sheaves on and the category of local homeomorphisms over Moreover, assuming is sober, since sober topological spaces embed fully faithfully into topoi, for a sheaf corresponds to a geometric morphism and there turns out to be an equivalence of topoi under which this geometric morphism is equivalent to the one induced by slicing:
   
   Using this as an example, topos theorists said that a geometric morphism of -topoi is *\'etale* if it is equivalent to one of the form and this was to be a ``local homeomorphism'' of -topoi.
   
   **The Problem**
   
   Define an \'etale geometric morphism of -topoi the same way, i.e.
   
   is *\'etale* if it is equivalent to one of the form
   
   Now let be a (sober) topological space. In particular, it is a locale, hence a -topos in the sense of Lurie. Lets write this -topos by (as it is in fact the lattice of opens of ) The maps of locales that are induced by slicing are exactly those which correspond to inclusions of open sublocales. So, an \'etale map of -topoi does not correspond to a local homeomorphism (but it is a particular kind of local homeomorphism).
   
   You might ask: So what? Maybe this is just a defect for
   
   No, this persists. An -topos is *-localic* if it is equivalent to -sheaves on an -site. There is a functor from -topoi to -topoi which is fully faithful and whose essential image is -localic -topoi, and if is an -localic, the -topos which is corresponds to is the -category of -truncated objects of
   Moreover, if is an object of an then is also -localic *if and only if* is -truncated. So let be an object of which is -truncated but not -truncated. Then the \'etale map of -topoi is a morphism between -localic -topoi. Let denote the -topos associated to and the one associated to Since -topoi embed fully faithfully into -topoi as -localic -topoi, this \'etale map induced by
   must correspond to a geometric morphism However, it cannot be an \'etale map of -topoi, since the object is not -truncated. Nonetheless, such a geometric morphism is the "correct" notion of a local homeomorphism since if we let , this is a local homeomorphism of locales, in the usual sense.
   
   Any comments? Has this been noticed for -topoi and is there a name for such geometric morphisms (and is there a characterization of them internal to -topoi?)
2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeSep 28th 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThat's interesting! In summary, the point is that you can't define local homeomorphisms between n-toposes to be slice categories unless you move up to their associated $(n+1)$-toposes. This is clear when n=0, which is an essential case because it's where the terminology 'local homeomorphism' comes from, but it also implies that the usual definition of local homeomorphism for 1-toposes (as found, for instance, in the Elephant), is wrong. Is that an accurate summary? I don't think I've heard this mentioned before, and I'd probably remember if I had. Terminology-wise, I think I'd be in favor of using the term 'local homeomorphism' correctly, even if it doesn't agree with previous usage.

   That’s interesting! In summary, the point is that you can’t define local homeomorphisms between n-toposes to be slice categories unless you move up to their associated $(n+1)$-toposes. This is clear when n=0, which is an essential case because it’s where the terminology ’local homeomorphism’ comes from, but it also implies that the usual definition of local homeomorphism for 1-toposes (as found, for instance, in the Elephant), is wrong. Is that an accurate summary?

   I don’t think I’ve heard this mentioned before, and I’d probably remember if I had. Terminology-wise, I think I’d be in favor of using the term ’local homeomorphism’ correctly, even if it doesn’t agree with previous usage.

3. • CommentRowNumber3.
   • CommentAuthorMike Shulman
   • CommentTimeSep 28th 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexOn the other hand, one might argue that we should define an "$n$-local-homeomorphism" to be a morphism of $\infty$-topoi that is equivalent to slicing over an $(n-1)$-truncated object. Then the existing definitions of local homeomorphism for 0-topoi and 1-topoi would both be special cases of 1-local-homeomorphisms, while the "correct" notion of local homeomorphism between $n$-topoi that you are advocating would be an $(n+1)$-local-homeomorphism. That way, the existing terminology could be maintained, according to the general principle that an unprefixed "foo" is equivalent to a "1-foo". As for a characterization internal to 1-topoi of the 2-local-homeomorphisms, shouldn't they be the geometric morphisms $F\to E$ where $F$ is equivalent to the topos of internal diagrams on some internal groupoid in $E$?

   On the other hand, one might argue that we should define an “$n$-local-homeomorphism” to be a morphism of $\infty$-topoi that is equivalent to slicing over an $(n-1)$-truncated object. Then the existing definitions of local homeomorphism for 0-topoi and 1-topoi would both be special cases of 1-local-homeomorphisms, while the “correct” notion of local homeomorphism between $n$-topoi that you are advocating would be an $(n+1)$-local-homeomorphism. That way, the existing terminology could be maintained, according to the general principle that an unprefixed “foo” is equivalent to a “1-foo”.

   As for a characterization internal to 1-topoi of the 2-local-homeomorphisms, shouldn’t they be the geometric morphisms $F\to E$ where $F$ is equivalent to the topos of internal diagrams on some internal groupoid in $E$?

4. • CommentRowNumber4.
   • CommentAuthorDavidCarchedi
   • CommentTimeSep 28th 2012
   • (edited Sep 28th 2012)
   • PermaLink
   Author: DavidCarchedi
   Format: TextAs for your first comment: Yes, that's about sums it up. As far as your second comment, that's *exactly* how I have already decided to remedy this in a paper I am writing; I define <latex>n</latex>-\'etale maps, etc. It's nice to hear that you thought of the same solution, so I'm reassured that it was a good call. As for your characterization, whereas I do agree that is a characterization, I was looking for one more akin to the "slice free" characterization of etale maps (<latex>f^*</latex> has an additional left adjoint <latex>f_{!}</latex> with special properties...).

   As for your first comment: Yes, that's about sums it up.
   
   As far as your second comment, that's *exactly* how I have already decided to remedy this in a paper I am writing; I define -\'etale maps, etc. It's nice to hear that you thought of the same solution, so I'm reassured that it was a good call.
   
   As for your characterization, whereas I do agree that is a characterization, I was looking for one more akin to the "slice free" characterization of etale maps ( has an additional left adjoint with special properties...).
5. • CommentRowNumber5.
   • CommentAuthorDavidCarchedi
   • CommentTimeSep 28th 2012
   • PermaLink
   Author: DavidCarchedi
   Format: TextBy the way, although I won't prove it here, another way at getting at local homeomorphisms is that for a given <latex>n</latex>-topos <latex>\mathcal{E}</latex>, it has a canonical topology, so we have the <latex>\left(n+1,1\right)</latex> category of sheaves of <latex>n</latex>-groupoids over <latex>\mathcal{E}</latex> (i.e. it's associated <latex>(n+1)</latex>-topos. We also have the <latex>(n+1,1)</latex>-category <latex>\mathfrak{Top}_n/\mathcal{E}.</latex> There is a canonical functor <latex>\chi:\mathcal{E} \to \mathfrak{Top}_n/\mathcal{E}</latex> given by slicing. The left Kan extension <latex>\mathbf{ET}:=\mathbf{Lan}_{y_\mathcal{E}} \chi:\mathbf{Sh}_{n}\left(\mathcal{E}\right) \to\mathfrak{Top}_n/\mathcal{E} </latex> of <latex>\chi</latex> along the yoneda embedding <latex>y_\mathcal{E}:\mathcal{E} \hookrightarrow \mathbf{Sh}_{n}\left(\mathcal{E}\right)</latex> exists as we write it as <latex>\mathbf{Lan}_{y_\mathcal{E} \circ y} \left(\chi \circ y\right)</latex> where <latex>y:\mathscr{C} \to \mathcal{E}</latex> is the Yoneda embedding associated to any <latex>n</latex>-site of definition for <latex>\mathcal{E}.</latex> Local homeomorphsms are precisely those in the essential image of <latex>\mathbf{ET}.</latex> (This is like a topos-theoretic \'etal\'e space construction.)

   By the way, although I won't prove it here, another way at getting at local homeomorphisms is that for a given -topos , it has a canonical topology, so we have the category of sheaves of -groupoids over (i.e. it's associated -topos. We also have the -category There is a canonical functor given by slicing. The left Kan extension of along the yoneda embedding exists as we write it as where is the Yoneda embedding associated to any -site of definition for Local homeomorphsms are precisely those in the essential image of (This is like a topos-theoretic \'etal\'e space construction.)
6. • CommentRowNumber6.
   • CommentAuthorDavidCarchedi
   • CommentTimeSep 29th 2012
   • PermaLink
   Author: DavidCarchedi
   Format: TextBetter yet, if you use presheaves instead of sheaves (with some size issues to deal with), you get an adjunction between presheaves and the slice category, restricting to an equivalence. (Oh yeah, <latex>\mathbf{ET}</latex> is fully faithful, I should've said that).

   Better yet, if you use presheaves instead of sheaves (with some size issues to deal with), you get an adjunction between presheaves and the slice category, restricting to an equivalence. (Oh yeah, is fully faithful, I should've said that).
7. • CommentRowNumber7.
   • CommentAuthorMike Shulman
   • CommentTimeSep 29th 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItex> I was looking for one more akin to the "slice free" characterization of etale maps Ah. Well, I can't think of any. (-: BTW, you've probably noticed this by now, but the TeX syntax `\'e` for é doesn't work here. You can write a literal é if you have a way to input Unicode, or (if you use the "Markdown+Itex" format option, which you really should), you can write the HTML `é`.

   I was looking for one more akin to the “slice free” characterization of etale maps

   Ah. Well, I can’t think of any. (-:

   BTW, you’ve probably noticed this by now, but the TeX syntax \'e for é doesn’t work here. You can write a literal é if you have a way to input Unicode, or (if you use the “Markdown+Itex” format option, which you really should), you can write the HTML é.

8. • CommentRowNumber8.
   • CommentAuthorDavidCarchedi
   • CommentTimeSep 29th 2012
   • (edited Sep 29th 2012)
   • PermaLink
   Author: DavidCarchedi
   Format: MarkdownItexThanks for the comment about how to typeset é. Anyhow, it should be mentioned that classically defined \'etale maps are still an important class of morphisms, because after all: For any $n$-topos $\mathcal{E},$ $\mathcal{E} \simeq \mathfrak{Top}^{et}_n/\mathcal{E}.$ However, the theory of $n$-étale morphisms does give a nice explanation as to why $\mathfrak{Top}^{et}_n/\mathcal{E}$ is an $(n,1)$-category (since apriori one would expect it to be an $(n+1,1)$-category, as it is the slice of one). The *real* statement is that $$Sh_n\left(\mathcal{E}\right) \simeq \mathfrak{Top}^{n-et}_n/\mathcal{E}$$ where $n-et$ refers to taking only $n$-étale morphisms, and whereby $Sh_n$ is the functor $Sh_n: \mathfrak{Top}_n \hookrightarrow \mathfrak{Top}_{n+1}$ which promotes an $n$-topos to an $(n+1)$-topos. (The notation is suggestive since, at least for $n \ne \infty,$ this is equivalent to taking sheaves on $\mathcal{E}$ regarded as an $n$-site with its canonical topology. For $n=\infty,$ this is problematic however (since an $\infty$-topos is not always sheaves over itself) so by convention the functor $Sh_\infty$ is the identify, but I digress...) Now, when $n= \infty$ there is no difference between $n$-étale and étale, and $Sh_\infty=id$ so this reduces to the classical fact that etale maps over an $\infty$-topos is equivalent to the $\infty$-topos in question. When $n \ne \infty,$ then we have that $\mathcal{E} \simeq Sh_{\mathbf{n-1}}\left(\mathcal{E}\right)$ which in turn is equivalent to the full subcategory of $Sh_n\left(\mathcal{E}\right) \simeq \mathfrak{Top}^{n-et}_n/\mathcal{E}$ spanned by $(n-1)$-truncated objects, *hence* an $(n,1)$-category, and the $(n-1)$-truncated objects in $\mathfrak{Top}^{n-et}_n/\mathcal{E}$ are precisely the étale ones! Phew! That was a bit more complicated to spell out than I thought!

   Thanks for the comment about how to typeset é. Anyhow, it should be mentioned that classically defined 'etale maps are still an important class of morphisms, because after all:

   For any $n$-topos $\mathcal{E},$ $\mathcal{E} \simeq \mathfrak{Top}^{et}_n/\mathcal{E}.$

   However, the theory of $n$-étale morphisms does give a nice explanation as to why $\mathfrak{Top}^{et}_n/\mathcal{E}$ is an $(n,1)$-category (since apriori one would expect it to be an $(n+1,1)$-category, as it is the slice of one). The real statement is that

   $$Sh_n\left(\mathcal{E}\right) \simeq \mathfrak{Top}^{n-et}_n/\mathcal{E}$$

   where $n-et$ refers to taking only $n$-étale morphisms, and whereby $Sh_n$ is the functor $Sh_n: \mathfrak{Top}_n \hookrightarrow \mathfrak{Top}_{n+1}$ which promotes an $n$-topos to an $(n+1)$-topos. (The notation is suggestive since, at least for $n \ne \infty,$ this is equivalent to taking sheaves on $\mathcal{E}$ regarded as an $n$-site with its canonical topology. For $n=\infty,$ this is problematic however (since an $\infty$-topos is not always sheaves over itself) so by convention the functor $Sh_\infty$ is the identify, but I digress…) Now, when $n= \infty$ there is no difference between $n$-étale and étale, and $Sh_\infty=id$ so this reduces to the classical fact that etale maps over an $\infty$-topos is equivalent to the $\infty$-topos in question. When $n \ne \infty,$ then we have that $\mathcal{E} \simeq Sh_{\mathbf{n-1}}\left(\mathcal{E}\right)$ which in turn is equivalent to the full subcategory of $Sh_n\left(\mathcal{E}\right) \simeq \mathfrak{Top}^{n-et}_n/\mathcal{E}$ spanned by $(n-1)$-truncated objects, hence an $(n,1)$-category, and the $(n-1)$-truncated objects in $\mathfrak{Top}^{n-et}_n/\mathcal{E}$ are precisely the étale ones! Phew! That was a bit more complicated to spell out than I thought!

9. • CommentRowNumber9.
   • CommentAuthorMike Shulman
   • CommentTimeSep 29th 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThat might be the first time I've ever heard a theorem about $\infty$-toposes referred to as "classical". Progress marches on, I suppose. (-;

   That might be the first time I’ve ever heard a theorem about $\infty$-toposes referred to as “classical”. Progress marches on, I suppose. (-;

10. • CommentRowNumber10.
    • CommentAuthorDavidCarchedi
    • CommentTimeSep 29th 2012
    • PermaLink
    Author: DavidCarchedi
    Format: MarkdownItexWell, I meant more that this was a special case of $\mathcal{E} \simeq \mathfrak{Top}^{et}_n/\mathcal{E},$ (which is the "n-ification" of the classical result for ordinary topoi) when $n=\infty.$

    Well, I meant more that this was a special case of $\mathcal{E} \simeq \mathfrak{Top}^{et}_n/\mathcal{E},$ (which is the “n-ification” of the classical result for ordinary topoi) when $n=\infty.$

11. • CommentRowNumber11.
    • CommentAuthorMike Shulman
    • CommentTimeSep 29th 2012
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItex(-:

    (-:

12. • CommentRowNumber12.
    • CommentAuthorDavidCarchedi
    • CommentTimeSep 29th 2012
    • PermaLink
    Author: DavidCarchedi
    Format: MarkdownItexI may be getting philosophical, but I think that maybe $\mathcal{E} \simeq \mathfrak{Top}^{et}_n/\mathcal{E}$ is the fundamental statement, and it is this equivalence which justifies the importance of étale maps. It seems that in some sense that it's an accident that historically the fundamental statement was $Sh\left(L\right) \simeq Et/L$ for $L$ a locale, since this has a mismatch between viewing $L$ as a $1$-topos and a $0$-topos at the same time. Indeed, at $n=0$, the statement $L \simeq \mathfrak{Top}^{et}_0/L$ for a locale $L$ is an interesting and true, and the fact that this holds true for $n=1$ allows us to make the claim that $Sh(L) \simeq \mathfrak{Top}^{et}_1/Sh(L)$- and *then* notice that an étale morphism into a localic topos must have a localic domain and correspond to a local homeomorphisms between them. Does anyone have any thoughts?

    I may be getting philosophical, but I think that maybe $\mathcal{E} \simeq \mathfrak{Top}^{et}_n/\mathcal{E}$ is the fundamental statement, and it is this equivalence which justifies the importance of étale maps. It seems that in some sense that it’s an accident that historically the fundamental statement was $Sh\left(L\right) \simeq Et/L$ for $L$ a locale, since this has a mismatch between viewing $L$ as a $1$-topos and a $0$-topos at the same time. Indeed, at $n=0$, the statement $L \simeq \mathfrak{Top}^{et}_0/L$ for a locale $L$ is an interesting and true, and the fact that this holds true for $n=1$ allows us to make the claim that $Sh(L) \simeq \mathfrak{Top}^{et}_1/Sh(L)$- and then notice that an étale morphism into a localic topos must have a localic domain and correspond to a local homeomorphisms between them. Does anyone have any thoughts?

13. • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeSep 29th 2012
    • PermaLink
    Author: Urs
    Format: MarkdownItexHi Dave, I am certainly looking forward to seeing this stuff written up cleanly. That'll be foundational.

    Hi Dave,

    I am certainly looking forward to seeing this stuff written up cleanly. That’ll be foundational.

14. • CommentRowNumber14.
    • CommentAuthorDavidCarchedi
    • CommentTimeSep 29th 2012
    • PermaLink
    Author: DavidCarchedi
    Format: MarkdownItex@Urs: Thanks! Do you have any opinion about whether one should view étale maps being the same as the topos as foundational, or the "étalé-space construction" as foundational, as discussed in my last comment?

    @Urs: Thanks! Do you have any opinion about whether one should view étale maps being the same as the topos as foundational, or the “étalé-space construction” as foundational, as discussed in my last comment?

15. • CommentRowNumber15.
    • CommentAuthorDavidCarchedi
    • CommentTimeSep 29th 2012
    • PermaLink
    Author: DavidCarchedi
    Format: MarkdownItex(Also, I am started to question as to whether or not I need to discuss all this in the paper I am writing after all, and was wondering if perhaps it should just be a separate paper entirely? Suggestions/advice? Would an OK tactic be to touch upon it, but then leave further developments for another paper?)

    (Also, I am started to question as to whether or not I need to discuss all this in the paper I am writing after all, and was wondering if perhaps it should just be a separate paper entirely? Suggestions/advice? Would an OK tactic be to touch upon it, but then leave further developments for another paper?)

16. • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeSep 29th 2012
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexYou could write an nLab page about it. (-;

    You could write an nLab page about it. (-;

17. • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeSep 29th 2012
    • (edited Sep 29th 2012)
    • PermaLink
    Author: Urs
    Format: MarkdownItexWhat you say in #12 seems to me indeed to be a most useful way of thinking about the situation. I don't know of course exactly what paper you are about to write, but I'd think in any case in the _introduction_ section it would be great to just sketch transparantly the situation discussed here, maybe in a kind of crisp summary as in Mike's #2 above, followed by a paragraph with more details as in your #1.

    What you say in #12 seems to me indeed to be a most useful way of thinking about the situation.

    I don’t know of course exactly what paper you are about to write, but I’d think in any case in the introduction section it would be great to just sketch transparantly the situation discussed here, maybe in a kind of crisp summary as in Mike’s #2 above, followed by a paragraph with more details as in your #1.

18. • CommentRowNumber18.
    • CommentAuthorDavidCarchedi
    • CommentTimeSep 29th 2012
    • PermaLink
    Author: DavidCarchedi
    Format: MarkdownItex@Urs: Thanks again, and fyi: The paper I am writing at the moment is the one establishing a general theory of higher etale stacks.

    @Urs: Thanks again, and fyi: The paper I am writing at the moment is the one establishing a general theory of higher etale stacks.

19. • CommentRowNumber19.
    • CommentAuthorDavidCarchedi
    • CommentTimeOct 13th 2012
    • PermaLink
    Author: DavidCarchedi
    Format: MarkdownItexI have a hunch that the following is a characterization of local homeomorphisms (in the way I defined them) of topoi: $$f:\mathcal{E} \to \mathcal{F}$$ is a local homeomorphism if and only if $f$ is open and its diagonal $$\mathcal{E} \to \mathcal{E} \times_\mathcal{F} \mathcal{E}$$ is. Moreover, I believe that if we *define* a geometric morphism $$f:\mathcal{E} \to \mathcal{F}$$ of *infinity* topoi to be open if $$f:\tau_{\le -1}\mathcal{E} \to \tau_{\le -1}\mathcal{F}$$ is an open map of locales (this agrees with the ordinary definition of an open geometric morphism for $1$-topoi), then $f$ is \'etale if and only if $f$ and its diagonal are open. However, I haven't thought of how to prove this yet.

    I have a hunch that the following is a characterization of local homeomorphisms (in the way I defined them) of topoi:

    $$f:\mathcal{E} \to \mathcal{F}$$

    is a local homeomorphism if and only if $f$ is open and its diagonal

    $$\mathcal{E} \to \mathcal{E} \times_\mathcal{F} \mathcal{E}$$

    is. Moreover, I believe that if we define a geometric morphism

    $$f:\mathcal{E} \to \mathcal{F}$$

    of infinity topoi to be open if

    $$f:\tau_{\le -1}\mathcal{E} \to \tau_{\le -1}\mathcal{F}$$

    is an open map of locales (this agrees with the ordinary definition of an open geometric morphism for $1$-topoi), then $f$ is 'etale if and only if $f$ and its diagonal are open. However, I haven’t thought of how to prove this yet.