# Questions tagged [infinity-topos-theory]

The infinity-topos-theory tag has no usage guidance.

**16**

votes

**1**answer

304 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

181 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 ...

**8**

votes

**2**answers

303 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 ...

**10**

votes

**0**answers

223 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 ...

**11**

votes

**1**answer

261 views

### Are there continua in $\infty$-topoi?

If topology were invented for algebraic geometry or logic, in ignorance of Euclidean space, we might reasonably regard connected compact Hausdorff spaces as pathological, or even doubt their existence....

**12**

votes

**0**answers

391 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)\...

**6**

votes

**0**answers

76 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 $\...

**9**

votes

**2**answers

461 views

### 2-natural operations on toposes

Any pseudonatural endomorphism $\Phi$ of the forgetful 2-functor $U:Topos^{coop}\to Cat$ is essentially determined by its component $\Phi_{Set}$. But which endofunctors of $Set$ induce such a $\Phi$? ...

**6**

votes

**1**answer

234 views

### Left Kan extension along Yoneda of pullback-preserving functor preserving pullbacks

Let $F\colon C \to D$ be a functor. The Kan Extension of $y_D \circ F$ along $y_C$ yields a functor $F_!: Fun(C^{op},Set) \to Fun(D^{op},Set)$. Here, $y_C$ and $y_D$ denotes the respective Yoneda ...

**10**

votes

**0**answers

194 views

### Comonadicity of spaces over spectra?

As connective spectra are equivalent to group-like $E_{\infty}$ algebras in spaces, the $\infty$-category of connective spectra is monadic over the $\infty$-category of spaces though the usual $\Sigma^...

**11**

votes

**0**answers

150 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 ...

**4**

votes

**1**answer

279 views

### Is an ∞-topos of local homotopy dimension $\leq n$ of homotopy dimension $\leq n$?

[All references are wrt to Lurie's "Higher Topos Theory" in its latest online available version (March 10, 2012)]
Definition 7.2.1.8:
An ∞-topos $X$ is locally of homotopy dimension $\leq n$ if there ...

**16**

votes

**1**answer

579 views

### A sheaf is a presheaf that preserves small limits

There is a common misconception that a sheaf is simply a presheaf that preserves limits. This has been discussed here before many times and I believe I understand it well enough.
However when reading ...

**3**

votes

**1**answer

152 views

### When the global section functor is a Cartesian fibration?

Given a Cartesian fibration $p : \mathbf{E} \to \mathbf{B}$ over an $\infty$-topos the paper by Marc Hoyois mentioned in his answer to this question gives some sufficient conditions for $\mathbf{E}$ ...

**4**

votes

**2**answers

172 views

### Generalizations of tangent $\infty$-topos

If $\mathbf{H}$ is an $\infty$-topos, then we can define a Cartesian fibration $p : T \mathbf{H} \to \mathbf{H}$ such that the fiber of $p$ over $X$ is the $\infty$-category of spectrum objects in $\...

**19**

votes

**1**answer

528 views

### Examples of $(\infty,1)$-topoi that are not given as sheaves on a Grothendieck topology

An $(\infty,1)$-topos according to Lurie is defined as (accessible) left exact localization of a presheaf $(\infty,1)$-category $\text{P}(\mathcal C)$.
Those $(\infty,1)$-topoi $\text{Sh}(\mathcal C)$ ...

**2**

votes

**0**answers

101 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.$ ...

**4**

votes

**2**answers

388 views

### Monomorphisms, epimorphisms, (co-)images and factorizations in $\infty$-categories

Several of the many notions that don't work the same way when passing to $\infty$-categories are the ones mentioned in the title. I'm trying to understand the conceptual picture around these notions ...

**6**

votes

**1**answer

256 views

### How does Cech cohomology get around computing a delooping?

I'm trying to understand how the nlab's definition of cohomology works concretely. There, it is (very convincingly) claimed that every incarnation of "cohomology" in mathematics is a special case of ...

**19**

votes

**0**answers

269 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 ...

**6**

votes

**1**answer

311 views

### Understanding model independently the equivalence of two ways of obtaining homotopy types from categories

It is well known that any homotopy type can be obtained as the classifying space of a ($1$-)category. The classifying space of a category $\mathcal{C}$ can be interpreted in at least two ways:
We ...

**2**

votes

**1**answer

160 views

### What is a non-example of and $(\infty,1)$-topos where disjointness fails?

One of the axioms for $(\infty,1)$-topoi is that the topos is disjoint, meaning that we have the following pullback diagram
$$
\begin{matrix}
0 & \rightarrow & A \\
\downarrow & & \...

**2**

votes

**1**answer

155 views

### Symmetric spectra for simplicial sheaves

Let $C$ be a site. Localizing either the projective or injective model structure on simplicial presheaves at the Cech nerves of covers in $C$ gives a new model structure on simplicial presheaves which ...

**10**

votes

**1**answer

577 views

### What is an Elementary “Homotopy, Model” Topos?

Context:
Def (Rezk): A (Grothendieck) homotopy topos is a homotopy left exact Bousfield localization of the model category of simplicial presheaves sPsh(C) on a small simplicial category C.
Thm (...

**5**

votes

**1**answer

1k views

### Model independent proof of colimit formula for left Kan extensions

I am interested in finding a proof of the colimit formula for left Kan extensions $(\infty,1)$-categories which does not rely on a chosen model. (By a model inpendent proof I mean a proof which uses ...

**12**

votes

**1**answer

749 views

### Examples of differential cohomology in cohesive $\infty$ topos

I might direct this question to Urs Schreiber directly, but just in case someone else has some interesting examples, I'll make the question public.
The formulation of differential cohomology in ...

**9**

votes

**1**answer

376 views

### Geometric morphism of $\infty$ topos

I have a very simple question regarding geometric morphisms of $\infty$ topoi, but have been unable to find the answer in Lurie's HTT (although it seems likely that its there somewhere and I just can'...

**7**

votes

**0**answers

122 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 ...

**17**

votes

**2**answers

569 views

### A “universally non Hypercomplete” $\infty$-topos via Goodwillie calculus?

My question is :
Is there a classifying $\infty$-topos for $\infty$-connected objects ? Does this $\infty$-topos has a nice description (as an $\infty$-category ) ?
What I mean by $\infty$-connected ...

**2**

votes

**1**answer

147 views

### Can hypercompletion be an essential localization?

The subcategory of hypercomplete objects in an ∞-topos is a left-exact-reflective subcategory by the remarks after 6.5.2.8 of Higher topos theory, i.e. its inclusion functor has a left-exact left ...

**6**

votes

**1**answer

410 views

### Can hypercomplete objects be coreflective?

The subcategory of hypercomplete objects in an ∞-topos is a left-exact-reflective subcategory by the remarks after 6.5.2.8 of Higher topos theory. Can it ever happen that this subcategory is ...

**4**

votes

**1**answer

254 views

### higher Eilenberg-Moore-toposes of left exact derived comonads

It is a classical fact (e.g. here) that for an (accessible) right adjoint comonad on a (sheaf) topos, its Eilenberg-Moore category of coalgebras is itself a (sheaf) topos.
I suppose this remains true ...

**4**

votes

**1**answer

315 views

### Is the infinity-groupoid of a finite CW complex finitely-presented?

An infinity-groupoid is finitely-presented when it is equivalent to the free infinity-groupoid on a finite family of generators, possibly of different dimensions.
Is the infinity-groupoid of a finite ...

**13**

votes

**1**answer

818 views

### What would be an infinity-groupoid analogue of the duality between sets and complete atomic boolean algebras?

Consider the object classifier of the $\infty$-topos of $\infty$-groupoids. For the role it plays in homotopy type theory as the type of types, let’s denote it as $Type = \coprod_{[F]} B Aut(F)$, the ...

**9**

votes

**0**answers

521 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" $...

**3**

votes

**1**answer

571 views

### unbounded derived category of a $\infty$-topos

In HTT(Higher Topos Theory) Remark7.3.1.19, it it sketched that the proper base change theorem for $\infty$-topos implies the usual proper base change theorem in (unbounded) derived category. However, ...

**8**

votes

**1**answer

344 views

### Base change in homotopy type theory

Recall that with the internal language of 1-toposes, we have the nice, basic, and useful result that geometric sequents are stable under base change along geometric morphisms: If $\varphi$ and $\psi$ ...

**6**

votes

**1**answer

175 views

### Site dependance of the Cech weak equivalences on simplicial sheaves

Let $\mathcal{T}= sh(C,J)$ a Grothendieck topos of sheaves over a (ordinary) site.
One endows the category of simplicial presheaves over $C$ with the "Rezk-Lurie" model structure: that is we start ...

**9**

votes

**1**answer

262 views

### A “small” definition of sub-(∞,1)-topoi

Suppose I have an $(\infty,1)$-topos $\mathcal{X}$ and a (small) set of maps $S$ in $\mathcal{X}$, which therefore generates an accessible localization $S^{-1}\mathcal{X}$. Is there any "small" ...

**5**

votes

**1**answer

548 views

### Associative Ring Spectra and Derived Completion

So, I was thinking before that this might have some nice, simple topos theoretic explanation, but Jacob disabused me of that notion. However, I'm still very interested in the following question:
Is ...

**6**

votes

**0**answers

581 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 ...

**5**

votes

**1**answer

335 views

### Hypercovers of sheaves in classical and quasi-categories

I am interested in relating the definition of hypercovers in the $\infty$-topos of sheaves on an $\infty$-Grothendieck site to the classical definition of hypercovers of presheaves on a Grothendieck ...

**10**

votes

**1**answer

1k views

### Learning higher differential geometry

I have read parts of the motivation on nlab and all the posts on MO I could find on the subject, and by now there are a few questions on my mind. If they trivial for someone who understands the theory,...

**17**

votes

**1**answer

527 views

### Is the $\infty$-topos $Sh(X)$ hypercomplete whenever $X$ is a CW complex?

It can be shown (see Is every paracompact, Hausdorff, locally contractible space homotopy equivalent to a CW complex?) that if $X$ is a locally contractible paracompact Hausdorff space such that the $\...

**13**

votes

**2**answers

1k views

### Modern versions of Verdier's hypercovering theorem?

Let $\mathcal{C}$ be a small category equipped with a terminal object $1$ and a Grothendieck topology. (Assume $\mathcal{C}$ also has pullbacks, if it is more convenient.) The following is a ...

**3**

votes

**0**answers

171 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 ...

**7**

votes

**1**answer

328 views

### Which morphisms of ring spectra are of effective descent for modules?

There is a well understood bifibration of $\infty$-categories over the $\infty$-category of commutative ring spectra whose fiber over a ring $R$ is the category of $R$-module spectra. This is in ...

**9**

votes

**3**answers

618 views

### classifying $\infty$-toposes for topological/localic groups?

Let $G$ be a locally compact topological group (or more generally a localic group). Is there an infinity topos which classify principal $G$ bundles ?
More precisely, is there an $\infty$-topos $BG$ ...

**6**

votes

**0**answers

227 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 ...

**5**

votes

**1**answer

385 views

### Relation between hypercompleteness and the property that Cech cohomology calculates sheaf cohomology

Let $C$ be a small site with fibre products. The (injective) Čech model structure on simplicial presheaves $\operatorname{sPre}(C)$ on $C$ presents an $(\infty,1)$-topos and one may ask if this $(...