Questions tagged [infinity-topos-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5
votes
1answer
86 views

Join as a bifunctor

I have been reading these great notes by Charles Rezk, and one thing that has been bothering me is the join construction. To solve lifting problems in quasicategory theory we use the Leibniz ...
2
votes
1answer
233 views

Counterexamples concerning $\infty$-topoi with infinite homotopy dimension

In "Higher Topos Theory", Lurie introduces three different notions of dimension for an $\infty$-topos $\mathcal{X}$, namely: Homotopy dimension (henceforth h.dim.), which is $\leq n$ if $n$-...
13
votes
1answer
516 views

$\infty$-topoi versus condensed anima

Let $ExDisc_\kappa$ denote the category of $\kappa$-small extremally disconnected topological spaces (for now fix a strong limit cardinal $\kappa$). There's a functor $ExDisc_\kappa \to \mathsf{RTop}$ ...
13
votes
0answers
214 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 ...
3
votes
1answer
266 views

Do stalks see epimorphism of stacks?

Let $\mathcal{C}$ be a site and $f:\mathcal{F}\to \mathcal{G}$ a morphism of $2$-sheaves. According to https://mathoverflow.net/q/307366, this is an epimorphism if and only if it is almost surjective,...
9
votes
1answer
938 views

Cohesion relative to a pyknotic/condensed base

Something that usefully emerged for me from this discussion and follow-up MO question is that rather than see cohesiveness and condensedness/pyknoticity in rivalry with one another, as my initial ...
4
votes
1answer
223 views

Is $Set$ a tiny topos?

Let $Topos$ be the $(2,1)$-category of Grothendieck toposes and geometric morphisms. This is a $V$-sized, locally $V$-sized, locally locally small $(2,1)$-category with all small (2,1)-colimits (=...
13
votes
1answer
516 views

Is there a condensed / pyknotic refinement of the shape of an $\infty$-topos?

Let $\mathcal E$ be an $\infty$-topos. Recall that Lurie defines the shape of $\mathcal E$ as the left-exact, accessible functor $\Gamma \Delta: Spaces \to Spaces$ where $\Delta: Spaces^\to_\leftarrow ...
73
votes
10answers
8k views

Reflection principle vs universes

In category-theoretic discussions, there is often the temptation to look at the category of all abelian groups, or of all categories, etc., which quickly leads to the usual set-theoretic problems. ...
4
votes
1answer
103 views

Computing cohomology using bounded hypercovers

Let $G$ be a Lie group (paracompact, not necessarily compact), and $A$ an abelian Lie group. I want to write down cocycles in $\mathrm{H^n}(\mathbf{B}G,A)$, the cohomology in the cohesive $\infty$-...
8
votes
1answer
171 views

Object classifiers in 1-toposes

In a Grothendieck $\infty$-topos, it is known that, for arbitrarily large regular cardinals $\kappa$, there is a classifier for the class of relatively $\kappa$-compact morphisms. It is also easy to ...
6
votes
0answers
211 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 ...
5
votes
0answers
145 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 ...
4
votes
0answers
170 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 ...
2
votes
1answer
219 views

Abelian versions of straightening and unstraightening functors

Let $X$ be a quasi-category (an inner Kan complex), let $\mathfrak{C}(X)$ be its rigidification (its associated simplicial category). J. Lurie in "Higher Topos Theory" proved the following theorem 2.1....
12
votes
0answers
105 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 ...
7
votes
1answer
262 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 ...
43
votes
1answer
1k 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 ...
7
votes
1answer
333 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
0answers
146 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
1answer
170 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
0answers
168 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, ...
12
votes
2answers
454 views

Examples of topos 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
1answer
258 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
0answers
308 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 ...
18
votes
2answers
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
1answer
253 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 ...
17
votes
1answer
424 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
226 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
500 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 ...
17
votes
1answer
628 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 ...
13
votes
1answer
417 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
463 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
97 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
530 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$? ...
9
votes
2answers
520 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 ...
12
votes
1answer
336 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^...
12
votes
0answers
196 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
516 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 ...
18
votes
1answer
864 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
201 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
239 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 $\...
23
votes
1answer
831 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
111 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.$ ...
6
votes
2answers
457 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
326 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
294 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
353 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
179 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
168 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 ...