Questions tagged [infinity-topos-theory]
The infinity-topos-theory tag has no usage guidance.
42
questions with no upvoted or accepted answers
25
votes
0
answers
1k
views
$\infty$-topos and localic $\infty$-groupoids?
It's known that every classical (Grothendieck) topos is equivalent to the topos of sheaves on a localic groupoid (a groupoid in the category of locales).
For the record, this is proved by, starting ...
20
votes
0
answers
344
views
Homotopic version of Freyd's AT category observations
Freyd was the first to formalize a striking comparison between abelian categories and topoi, showing that their exactness properties can be jointly captured by the axioms of AT categories, and the ...
16
votes
0
answers
198
views
Characterization of geometric morphisms without referring explicitly to the left adjoint?
Recall that a functor $f_\ast : \mathcal E \to \mathcal F$ between toposes is called a geometric morphism if it has a left exact left adjoint $f^\ast$. Is there an intrinsic characterization of such ...
13
votes
0
answers
268
views
Which topoi are local with respect to Stone-Cech compactification?
Compact Hausdorff spaces $X$ are characterized among all topological spaces by the fact that for any topological space $S$, the embedding $S \to \beta S$ into its Stone-Cech compactification induces a ...
13
votes
0
answers
245
views
Is every colimit-generator dense in an $\infty$-topos?
Recall that there are various senses in which a full subcategory $G \subseteq C$ may "generate" a category $C$. For example, in order of increasing strength (under reasonable conditions):
$G$ is a ...
12
votes
0
answers
550
views
What's wrong with the obvious argument that the unstable motivic category is an $\infty$-topos?
Fix a base scheme $S$, and let $Sm_S$ be the (ordinary) category of smooth schemes over $S$.
Denote by $Psh(Sm_S)$ the $\infty$-category of $\infty$-presheaves on $Sm_S$.
Let $Sh_{Nis}(Sm_S)\...
10
votes
0
answers
579
views
A model category for descent?
Recall that an $(\infty,1)$-category $C$ is said to have descent if for any small diagram $X:I\to M$ with (homotopy) colimit $\overline{X}$, the adjunction between $C/\overline{X}$ and "equifibered" $...
9
votes
0
answers
444
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 ...
9
votes
0
answers
355
views
Does every exponentiable ($\infty$-)topos have enough points?
The notion of a coherent topos is a somewhat "refined" finiteness condition to put on a topos. One reason it is considered a "fruitful" notion is the Deligne completeness theorem, ...
9
votes
0
answers
559
views
Coherent objects in a hypercomplete $\infty$-topos
In Lurie's "Spectral Algebraic Geometry", Proposition A.6.6.1 (2) shows that for $\mathcal{X}$ an $\infty$-topos that is both locally coherent and hypercomplete, the full subcategory $\...
8
votes
0
answers
224
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
395
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{...
8
votes
0
answers
145
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 ...
8
votes
0
answers
806
views
Which sites in classical/derived algebraic geometry are hypercomplete?
Local questions:
1) Given a commutative ring $A,$ is $Sh_\infty\left(Spec(A)\right)$ hypercomplete?
2) Given a commutative ring $A,$ is $Sh_\infty\left(Et\left(A\right)\right)$ hypercomplete, where $...
7
votes
0
answers
166
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$ ...
7
votes
0
answers
145
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 ...
7
votes
0
answers
156
views
Finite covers in complex analytic geometry
Given a complex manifold or complex analytic space, one has the standard notion of open set. There are two different Grothendieck topologies that one can define using this notion, one where covers ...
7
votes
0
answers
778
views
Commutation of simplicial homotopy colimits and homotopy products in spaces
Edit: The claim below is wrong, as explained in the comments,
because infinite homotopy products of simplicial sets require their components to be fibrantly replaced first, unlike finite homotopy ...
7
votes
0
answers
452
views
Cohesive ∞-Toposes
Say an $\infty$-topos $\mathbf{H}$ is cohesive if its global section geometric morphism $\Gamma : \mathbf{H} \to \infty \mathrm{Grpd}$ admits a further left adjoint $\Pi$ and a further right adjoint $\...
6
votes
0
answers
339
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 ...
6
votes
0
answers
159
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 ...
6
votes
0
answers
291
views
Is there a Geometric/Smooth version of Homotopy Hypothesis using the path $\infty$-Groupoid of a Smooth Space?
A version of Homotopy Hypothesis says that the Fundamental $n$-grupoids model Homotopy $n$-types... and if we continue upto $\infty$, then the Fundamental $\infty$- groupoids or Kan Complexes model ...
6
votes
0
answers
169
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 ...
6
votes
0
answers
127
views
Internal van Kampen colimits
Let $C$ be a category with pullbacks. Recall that a colimit in $C$ is van Kampen if it is preserved by $C/(-): C^{op} \to CAT$, $c \mapsto C/c$.
We can $C$-internalize everything in sight:
Let $\...
6
votes
0
answers
282
views
What are the Čech-local equivalences of (simplicial pre)sheaves?
Let $\mathcal{C}$ be small category and let $J$ be a Grothendieck topology on $\mathcal{C}$. The Čech model structure on $[\mathcal{C}^\mathrm{op}, \mathbf{sSet}]$ is defined to be the left Bousfield ...
6
votes
0
answers
491
views
Is there a local projective model structure on simplicial sheaves? What are its fibrant objects?
Consider a site S (I am mostly interested in hypercomplete sites, e.g., the site of smooth manifolds).
The category of simplicial presheaves SPSh(S) on S can be equipped with the local projective ...
6
votes
0
answers
195
views
Is hypercompletion functorial?
Given an infinity topos $\mathcal{E}$, one can pass to its hypercompletion $\widehat{\mathcal{E}}$, which is the full subcategory on those objects local with respect to $\infty$-connected morphisms (...
5
votes
0
answers
243
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 \...
5
votes
0
answers
242
views
Surprising examples of functors which preserve cofiltered limits but not all limits?
Question: What are some "surprising" examples of functors (resp. $\infty$-functors) $F$ which preserve cofiltered limits?
I'm not quite sure what "surprising" means, but I think ...
5
votes
0
answers
420
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 ...
4
votes
0
answers
104
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 ...
4
votes
0
answers
178
views
A couple of points in a proof about of $\infty$-toposes
I wanted to have a better understanding of the geometric interpretation of $\infty$-toposes, and in particular learn something about étale morphisms, but I got stuck trying to unravel two points in ...
3
votes
0
answers
94
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, ...
3
votes
0
answers
186
views
Cloven Kan fibrations
For each groupoid $G$ there is a monad such that the cloven fibred groupoids over $G$ are algebras for this monad. I am looking for an infinite dimensional counterpart: a monad on simplicial sets ...
2
votes
0
answers
59
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
$$
\...
2
votes
0
answers
160
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 ...
2
votes
0
answers
207
views
A map that names itself
Call the walking arrow $\Delta_{1}$, containing exactly one nontrivial 1-cell $[0<1] : 0 \to 1$. I am interested in a map $\Phi : \Delta_{1} \to \mathrm{Type}$, such that $\Phi [0<1] = \Phi$ (...
2
votes
0
answers
115
views
Some operations on categories - nomenclature question
Suppose that we have a "diagram of categories", i.e. a map from some small category $J$, viewed as a 2-category (with trivial two-morphisms) to the category of categories, $j\mapsto \mathcal{C}_j.$ ...
2
votes
0
answers
155
views
surjection of localic infinity toposes?
Hello!
Is there a simple 'topological' condition to detect whenever a morphism of locales $f : X \rightarrow Y$ induces a surjection of infinity-toposes $f : \mathrm{Sh}_{\infty}(X) \rightarrow \...
1
vote
0
answers
184
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
233
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 ...
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, ...