Questions tagged [infinity-topos-theory]
The infinity-topos-theory tag has no usage guidance.
140
questions
8
votes
1
answer
379
views
When is an $\infty$-categorical localization left exact?
Let $L: \mathcal C^\to_\leftarrow L\mathcal C : i$ be an adjunction with $i$ fully faithful. In ordinary category theory, $L$ is left exact iff the class of $L$-local morphisms is stable under base ...
52
votes
2
answers
4k
views
What's an example of an $\infty$-topos not equivalent to sheaves on a Grothendieck site?
My question is as in the title:
Does anyone have an example (supposing one exists) of an
$\infty$-topos which is known not to be equivalent to sheaves on a
Grothendieck site?
An $\infty$-topos is as ...
9
votes
1
answer
581
views
Higher-dimensional version of the "Magic Cube Lemma" for homotopy pushouts/pullbacks
The "Magic Cube Lemma" is a surprising (to me) relationship between (homotopy) pushouts and (homotopy) pullbacks of spaces:
Consider a cubical diagram $I^3\to \mathcal{S}$ in the $\infty$-category of ...
6
votes
0
answers
170
views
Is there an $\infty$-topos of monochromatic spaces?
Fix (a prime $p$ and) a chromatic height $h$. Recall that the Bousfield-Kuhn functor $\Phi_h: \mathcal M_h^f \to Sp_{T(h)}$ is monadic, where $\mathcal M_h^f \subseteq Top_\ast$ is a certain ...
5
votes
1
answer
307
views
Are constant $\infty$-sheaves constant on connected components?
Let $C$ be an $\infty$-category endowed with a Grothendieck topology $J$ and consider the $\infty$-topos $\infty\text{Sh}(C, J)$. There is a
natural geometric morphism to $\infty\text{Grpd}$ whose ...
1
vote
0
answers
192
views
A categorial PCF theory?
I'm not an expert in PCF theory, so please forgive me if this question makes no sense.
I'm looking for a categorial version of PCF theory.
Specifically, if we replace $Set$ with another category, ...
14
votes
2
answers
730
views
Examples of topoi that are not ordinary spaces
In [SGA6] we find:
Mais nous lui conseillons n��anmoins, de préférence, de s'assimiler le langage des topos, qui fournit un principe d'unification extrêmement commode. (DeepL translate: However, we ...
5
votes
1
answer
346
views
Are semisimplicial hypercoverings in a hypercomplete $\infty$-topos effective?
A hypercovering in an $\infty$-topos $E$ is a simplicial object $U \in {\rm Fun}(\Delta^{\rm op},E)$ such that each map $U_n \to ({\rm cosk}_{n-1} U)_n$ is an effective epimorphism. Theorem 6.5.3.12 ...
5
votes
0
answers
425
views
Roadmap to understand gerbe in the sense of Lurie’s Higher Topos Theory
Definition $7.2.2.20$ : Let $\mathfrak{X} $ be an $\infty$-topos. An $n$-gerbe on $\mathfrak{X}$ is an object in $\mathfrak{X}$ which is $n$-connective and $n$-truncated.
Above is the definition of ...
20
votes
2
answers
1k
views
Commutative rings : Topoi = Fields :?
The following is probably a bad question, but hopefully, it might have a very good answer.
In category theory there is a quite famous analogy between topoi and commutative rings, I was never ...
7
votes
1
answer
300
views
Stability of accessible $\infty$-categories under some operations
I'm reading through Higher Topos Theory, and I can't make sense of a few proofs in the sections about accessible $\infty$-categories.
In Proposition 5.4.4.3, Lemma 5.4.4.2 is used, but I don't see ...
18
votes
1
answer
644
views
Equivalences of categories of sheaves vs categories of $\infty$-Stack
Let say I have two different sites $(\mathcal{C},I)$ and $(\mathcal{D},J)$ for an ordinary topos $\mathcal{T}$. I.e.
$$Sh(\mathcal{C},I) \simeq \mathcal{T} \simeq Sh(\mathcal{D},J)$$
And we want to ...
4
votes
1
answer
250
views
A finite Whitehead Theorem for $\infty$-topos
Let's consider in an $\infty$-topos, we have an object $X$ of homotopy dimension $\leq n$ (in the sense of Lurie HTT), let $f: A\to B$ be an $n$-equivalence morphism. Can we conclude that $f$ induces ...
9
votes
2
answers
771
views
What is a spectrum object in $\infty$-topoi?
For any spectrum $E$, there is a "discrete" topos spectrum $(Spaces / E_n)_n$. And I believe any topos spectrum is a localization of a "discrete" one. Are there any "non-discrete" topos spectra?
To ...
19
votes
1
answer
889
views
What are the monomorphisms of ($\infty$-)toposes?
There are standard notions of "surjections" and "embeddings" of toposes. However, not every surjection is an epimorphism, and not every regular monomorphism is an embedding. (EDIT: as Alexander ...