Questions tagged [infinity-topos-theory]
The infinity-topos-theory tag has no usage guidance.
140
questions
4
votes
1
answer
126
views
Are monomorphisms in an $\infty$-topos preserved by $0$-truncation?
Let $\mathfrak{X}$ be an $\infty$-topos and let $f\colon X\to Y$ be a morphism of $\mathfrak{X}$. We say that $f$ is a monomorphism if it is $(-1)$-truncated which means that for every $Z\in\mathfrak{...
6
votes
0
answers
114
views
Treatment of classes of mono/epi morphisms in $(\infty, 1)$-categories
In the classical theory of $(1, 1)$ categories, the chain of classes of mono/epi morphisms is well known: plain $\leftarrow$ strong $\leftarrow$ effective $\leftarrow$split ((I assume that the ...
4
votes
1
answer
237
views
Why is the universal $n$-gerbe universal? (HTT, 7.2.2.26)
Let $\mathcal{X}$ be an $\infty$-topos and let $A$ be an abelian group object of the category $\operatorname{Disc}(\mathcal{X})$ of discrete objects of $X$. Recall that a morphism $f:\widetilde{X}\to ...
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{...
5
votes
1
answer
266
views
Do finitely presentable $\infty$-groupoids precisely correspond to the finite cell complexes?
In the Higher Topos Theory, Example 1.2.14.2 says “finitely presentable $\infty$-groupoids correspond precisely to the finite cell complexes” But, for example, $K(\mathbb{Z}, 2)$ is seems finitely ...
2
votes
0
answers
60
views
Coequalizers and pullbacks in $\infty$-topoi
In an $\infty$-topos, suppose we have two cartesian diagrams of the form
$$
\require{AMScd}
\begin{CD}
\overline{A} @>>> \overline{B} \\
@VVV @VVV \\
A @>>> B .
\end{CD}
$$
Let
$$
\...
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 ...
4
votes
2
answers
469
views
Categorical equivalences vs. categories of simplices
Let $j: K\to K′$ be a categorical equivalence of simplicial sets. By [HTT, Remark 2.1.4.11], we have a Quillen equivalence (with the covariant model structures)
$$
j_!:\mathsf{sSet}_{/K}\...
5
votes
1
answer
219
views
Connectedness of truncated version of cosimplicial indexing category
Let $F:\mathbf{\Delta}\to\mathcal{S}_{\leqslant n-1}$ be a cosimplicial object in the $\infty$-category of $(n-1)$-truncated spaces. Is it always a right Kan extension of its restriction along $\...
7
votes
0
answers
174
views
How does nullification of $K(\mathbb{Z}, 2)$ compare to 1-truncation?
Let $B$ be a type (or space). A type (or space) is $B$-null if the canonical map $X \to X^B$ is an equivalence. The $B$-nullification of an arbitrary type $X$ is a $B$-null type $\bigcirc_B X$ ...
2
votes
1
answer
93
views
Comparion theorem between symmetric monoidal $\infty$-functor
Let $T,T'$ be symmetric monoidal $\infty$-categories. And let $F_1,F_2:T\to T'$ be symmetric monoidal functors and let $t:F_1\Longrightarrow F_2$ be a symmetric monoidal natural transformation from $...
7
votes
0
answers
150
views
Presenting geometric morphisms by geometric morphisms
It's known that any $\infty$-topos $\mathcal{E}$ can be presented by a Quillen model category $\mathbf{E}$ that is itself a 1-topos. For instance, if $\mathcal{E}$ is a left exact localization of a ...
6
votes
0
answers
342
views
$(\infty,1)$-topoi generated by $(n,1)$-categories
A (1,1)-topos (i.e. an ordinary Grothendieck topos) is called localic if the following two equivalent conditions hold:
It is the category of sheaves on a (0,1)-site with finite limits$^*$ (i.e. a ...
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 \...
9
votes
0
answers
459
views
Using higher topos theory to study Cech cohomology
It seems to me that many classical statements about Cech cohomology should without much effort follow from Lurie's HTT, but I am struggling to fill out the details. I want to show that, given an ...
3
votes
1
answer
422
views
Does the concept of a $\infty$-category have a natural definition in the $\infty$-world?
I start with a thesis: the natural notion of equality is additional data (paths/morphisms), not a binary relation (the fact that they exist). So, in particular, with such a constructivization (...
2
votes
0
answers
181
views
Is every sheaf $\infty$-topos equivalent to sheaves on itself with respect to the canonical topology?
Let $(\mathcal C, J)$ be a small subcanonical $\infty$-site, and let $Sh_J(\mathcal C)$ be the $\infty$-topos of sheaves thereon. Then $Sh_J(\mathcal C)$ is itself an $\infty$-site with respect to the ...
8
votes
0
answers
148
views
The tangent bundle and dual tangent bundle in topos theory
Let $\mathcal B = B \mathbb T$ be an $\infty$-topos, thought of as the classifying $\infty$-topos of some "$\infty$-geometric theory" $\mathbb T$. The notion of "$\infty$-geometric ...
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 \...
6
votes
0
answers
167
views
Does $Pr^L_\kappa \in Pr^L$ behave like an "object classifier" or "universe"?
Let $Pr^L$ denote the $\infty$-category of presentable $\infty$-categories and left adjoint functors. Let $Pr^L_\kappa \subset Pr^L$ denote the locally-full subcategory of $\kappa$-compactly-generated ...
14
votes
2
answers
700
views
When is a stable $\infty$-category the stabilization of an $\infty$-topos?
Let $\mathcal X$ be a presentable $\infty$-category. Then the stabilization $Stab(\mathcal X)$ of $\mathcal X$ is the universal presentable stable category on $\mathcal X$.
Conversely, if $\mathcal A$ ...
1
vote
0
answers
185
views
Is there a (Grothendieck) $\infty$-topos for which Whitehead's theorem only holds for maps between truncated objects?
We know that non-hypercomplete $\infty$-toposes exist. Is there such a topos $\mathcal{E}$ with the following property?
For any $X, Y \in \mathcal{E}$, if all weak homotopy
equivalences (or $\infty$-...
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 ...