All Questions
Tagged with infinity-topos-theory topos-theory
56
questions
2
votes
1
answer
145
views
"$X$ is $n$-truncated $\iff$ $\Omega X$ is $(n-1)$-truncated" for connected pointed $X$. (HTT, 7.2.2.11)
In the proof of Lemma 7.2.2.11 of Higher Topos Theory, Lurie makes the following claim:
($\ast$) Let $n\geq1$ be an integer, let $\mathcal{X}$ be an $\infty$-topos, and let $1\to X$ be a pointed ...
3
votes
1
answer
144
views
Does every $\kappa$-compact topos embedd relatively $\kappa$-tidily into a presheaf topos?
Let $\kappa$ be a regular cardinal and say that a topos $\mathcal{E}$ is $\kappa$-compact if the global sections $\gamma_{\ast} : \mathcal{E} \to \mathsf{Set}$ preserves $\kappa$-filtered colimits.
My ...
6
votes
1
answer
323
views
$\infty$-topos as an internal $\infty$-category in itself
I'm interested (both autonomously and directly related to my work) in the natural internalization of $\infty$-topos sheaves in it (as usual, assuming Grothendieck universes). Is there any literature ...
8
votes
0
answers
229
views
What is the exact definition of the $\infty$-topos of sheaves on a localic $\infty$-groupoid?
The category $\mathrm{Locale}$ is equivalent to the category $0\text{-}\mathrm{Topos}$ .
The 2-category $\mathrm{LocalicGroupoid}$ (with suitable localization) is equivalent to the 2-category $1\text{...
8
votes
0
answers
409
views
Sheaf of compact Hausdorff spaces but not a condensed anima
Consider the site $\mathbf{CHaus}$ of compact Hausdorff spaces together with the finitely jointly surjective families of maps as coverings. Restriction induces an equivalence of categories $$ \mathbf{...
10
votes
2
answers
633
views
Effective epimorphisms and 0-truncations (HTT, 7.2.1.14)
In Proposition 7.2.1.14 of Higher Topos Theory, Lurie asserts the following:
Let $\mathcal{X}$ be an $\infty$-topos and let $\tau_{\leq0}:\mathcal{X}\to\tau_{\leq0}\mathcal{X}$ denote a left adjoint ...
5
votes
1
answer
199
views
Fibrations of sites for $\infty$-topoi
For any geometric morphism $f:\mathcal{F} \to \mathcal{E}$ of Grothendieck 1-topoi, there exists a functor of small categories $\ell :D\to C$ and left exact localizations $\mathcal{F} \hookrightarrow \...
4
votes
0
answers
110
views
The hyperdoctrine of topoi and a near KZ-comonad
Allow me to waffle about a bit of topos theory, leading up to a few questions about KZ comonads and about the comprehension schema in hyperdoctrines.
Let $Pr^L$ denote the $\infty$-category of ...
3
votes
0
answers
96
views
When do geometric morphisms lead to periodic adjoints?
This may be a naïve question but I've been unable to locate a reference that addresses it. Any thoughts are appreciated!
Let $f:\mathcal{E}\to\mathcal{S}$ be a cohesive morphism of toposes. That is, ...
5
votes
0
answers
244
views
Do topoi have injective hulls?
Recall that a topos $\mathcal I$ is injective (with respect to embeddings) if and only if $\mathcal I$ is a retract of $Psh(C)$ for some finitely-complete $C$. Say that an embedding $f : \mathcal X \...
1
vote
0
answers
246
views
Understanding the double negation modality under the "propositions as types" paradigm
$\DeclareMathOperator\Hom{Hom}$I'm trying to understand the double negation modality under the "propositions as types" paradigm, but I'm running into an apparent contradiction: let $T$ be a ...
8
votes
1
answer
275
views
Is $\mathit{Topos}^\text{op} \to \mathit{Pr}^L$ monadic?
$\newcommand\Logos{\mathit{Logos}}\newcommand\Topos{\mathit{Topos}}\newcommand\op{^\text{op}}\newcommand\Pr{\mathit{Pr}}$Let $\Logos = \Topos\op$ be the $\infty$-category of $\infty$-topoi and ...
7
votes
1
answer
573
views
If we replace the spectrally ringed space in the definition of a spectral scheme with an arbitrary infinity-topos, what objects do we get?
I'll phrase this in terms of spectral AG, but I'm curious about the same question in the classical context.
We define a nonconnective spectral Deligne-Mumford stack to be a spectrally-ringed topos ...
2
votes
1
answer
362
views
Groupoid of points, shape and stratified shape of $\operatorname{Sh} (X_\text{pro-ét})$
$\DeclareMathOperator\Sh{Sh}\DeclareMathOperator\Pt{Pt}$Maybe this is well-known or even a stupid misunderstanding of something very basic. It's well-known that the groupoid of points (i.e., groupoid ...
2
votes
1
answer
193
views
Subcategory of coherent objects in an $\infty$-topos forming a local $\infty$-pretopos
My question is about the proof of Proposition A.6.1.6 in Lurie's Spectral Algebraic Geometry, which says the following:
Let $\mathcal{X}$ be any $\infty$-topos and denote by $\mathcal{X}^{coh}$ the ...