Every presheaf topos is locally connected.

]]>added to the list of References at *locally connected topos* a pointer to the new article just out today:

- Olivia Caramello,
*Site characterizations for geometric invariants of toposes*, Theory and Applications of Categories, Vol. 26, 2012, No. 25, pp 710-728. (TAC)

The same pointer could usefully be added to several other $n$Lab entries. But I am out of time now...

]]>Started a section Examples at locally connected topos, but am being interrupted.

Wanted to point out somewhere that diffeological spaces form a “locally contractible quasi-topos”.

]]>Thanks, looks good.

]]>as recently discussed with Mike elsewhere, I split off again

from

]]>Okay, thanks Todd.

]]>Urs, that was me who wrote the query box. I made a note of it in a separate discussion, which was my error. I'm not trying to make you make the changes, I just wanted the comment to be seen, rather than just make the change and maybe have it go unnoticed unless one checks Recent Changes. I'll make the change now. Sorry if I irritated you.

]]>Who wrote that query box?

Why not just make the changes, instead of trying to make me make the changes.

Conversely, by the way, I think we should go through plenty of pages on properties of topological spaces and link them to their topos analogs.

We really need a big table of contents here eventually. I think we should start a big TOC at Elephant indexing the entire book. Eventually.

]]>Thanks, David.

Okay, I have added that theorem to locally connected topos.

This allowed me finally to say confidently what I had indended to say all along:

]]>I need to learn the notion and theory of toposes "indexed over" other toposes.

I suppose for the case where I am geometrically mapping into Set I can ignore this for the moment?

]]>Er, did you? I thought you just sent me the previous book.

But thanks, I have it now, thanks!!

]]>why do you look at google books if I have sent you the file years ago

]]>Yes!

Thanks, I should have looked there earlier.

So what I am after at homotopy groups in an (infinity,1)-topos, as I learn now, is the notion of essential geometric morphism (to be created in a second)!

I have to access the Elephant through Google-books at the moment. Of course, the preview breaks off right after page 651, with C.3.3.6 being on 652.

Could you just briefly say what the statement there is? That would be much appreciated.

]]>Maybe you want something like C3.3.6 in the Elephant?

]]>I like it. Igor keeps mentioning some old references like Barr, Diaconescu etc. in this connection...

]]>I wanted to type a proof at locally connected topos that not only does for every locally connetced topos exist a left adjoint to the constant sheaf functor, but that conversely when that constant sheaf functor has a left adjoint, the topos is locally connected.

It seemed pretty obvious, but while typing a would-be proof I realized that either either I am missing something or it is more subtle.

]]>started locally connected topos

]]>