Search Results

This follow from some recent (I heard about this a year ago) results by Anel, Biedermann, Finster and Joyal. Unfortunately their work is not available yet, but You have some slide of Mathieu Anel on …

My previous answer left open the following: Proposition: Let $C$ be a small $\infty$-category with all fiber products, let $\mathcal{T}$ be an $\infty$-topos and let $F : C \rightarrow \mathcal{T}$ b …

If you are wiling to assume that $C$ has a terminal object $1 \in C$, which I assume is the case as you said all finite products, you can do the following: (As it is not clear if you are interested i …

As you already noticed there is a functor from the category of Spectrum to the category of topos-spectrum, whose image consist simply of étale topos. As the category of toposes has all limits one eas …

Edit: My original answer contained a big mistake, that I can't fix. A long time I had thought ago about monomorphisms of locales, and I wrongly convince myself that everything would generalizes to top …

(For me the category of toposes is the opposite of the category of left exact left adjoint functors and natural transformations, so $Topos^{co}$ in your sense) The functor $U$ is representable by the …

Here is an argument for the 1-categorical version that essentially bypass the use of internal site and should be much easier to generalize to the $\infty$-categorical case. ( I mean you can still see …

I just found an example, so I thought it would be good to post it here, but if anyone knows other examples, or a more general way to construct some I would be interested to see them as well. This exa …

You need $U$ "contractible". In general $\Delta(S)$ is defined exactly as in the $1$-topos case: "take the constant presheaf valued at $S$ and sheafify it" (i.e. applies the left adjoint to the forget …

This has nothing to do with $\infty$-categories, but with the fact that we look at the full topos and not an arbitrary site of definition: Theorem: If $T$ is a (Grothendieck) ($1$-)topos, then a "she …