Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [infinity-topos-theory]

The tag has no usage guidance.

16
votes
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
3answers
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
0answers
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
1answer
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 $(...