# Tag Info

### Reflection principle vs universes

I'm going to go out on a limb and suggest that the book HTT never uses anything stronger than replacement for $\Sigma_{15}$-formulas of set theory. (Here $15$ is a randomly chosen large number, and ...
• 17.6k
Accepted

### Reflection principle vs universes

Reflecting on Gabe's comment on my original answer, I now think what I wrote is misleading because it conflates two separate (but related) assertions: The existence of strongly inaccessible cardinals ...
• 17.6k

### Reflection principle vs universes

I'd like to mention something that I think hasn't been pointed out yet. The original question began with In set-theoretic language, one fixes some strongly inaccessible cardinal $\kappa$... This ...
• 65.1k

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

This has nothing to do with $\infty$-categories, but with the fact that we look at the full topos and not an arbitrary site of definition: Theorem: If $T$ is a (Grothendieck) ($1$-)topos, then a "...
• 40.2k
Accepted

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

Marc's examples are good ones, but let me add two more (which are closely related to each other): 1) Let $\mathcal{C}$ be an accessible $\infty$-category which admits small filtered colimits, and let ...
• 17.6k
Accepted

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

ETA The answer is yes in general. Replace 2 below with a reference to HTT, Prop. 7.1.5.8. Since this has been open for a while, let me give a partial answer which hopefully is already interesting: I ...
• 8,712

### Reflection principle vs universes

OK, I spent much of today trying to figure this out by actually looking in some detail at HTT. It's been quite a ride; I have definitely changed my perspective multiple times in the process. Currently,...
• 19.9k
Accepted

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

Let $\mathcal{X}$ denote the $\infty$-topos $\mathcal{S}_{/S^1}$, whose objects are spaces $X$ with a map $X \rightarrow S^1$. Then $\mathcal{X}$ is generated under colimits by the object given by the ...
• 17.6k

### Reflection principle vs universes

If I understand correctly, you're after a statement of the form : "If something was proved in HTT using universes, it can be proved without them by restricting to some $V_\kappa$ for $\kappa$ ...
• 14k

### Reflection principle vs universes

Answering this question depends strongly on exactly what you want from Higher Topos Theory, because expressing high logical strength is a different goal from expressing an aptly unified logical ...
• 10.8k

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

As discussed in the comments, I'm writing here the proof of the following fact: Let $\mathscr{X}_∞$ be the ∞-topos of sheaves on $\mathrm{FinTop}^{op}$ under the atomic topology (the topology where ...
• 16.2k

### Examples of topoi that are not ordinary spaces

The bicategory of Grothendieck toposes is equivalent to the bicategory of localic groupoids, with appropriately defined 1-morphisms and 2-morphisms. "Ordinary spaces" are topological spaces, or, ...
• 36.3k
Accepted

### Equivalences of categories of sheaves vs categories of $\infty$-Stack

I just found an example, so I thought it would be good to post it here, but if anyone knows other examples, or a more general way to construct some I would be interested to see them as well. This ...
• 40.2k

• 8,712
Accepted

### Categorical equivalences vs. categories of simplices

No it is not. But there is a replacement for this. There is another model of $\infty$-categories: marked simplicial sets. If $X$ is a simplicial set with a set of marked $1$-simplices $S$, the fibrant ...
• 13.3k
Accepted

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

An $n$-monomorphism is a map $A\to B$ for which $Map(X,A)\to Map(X,B)$ has all homotopy fibers $n$-truncated, for all $X$; a space (=$\infty$-groupoid) is $n$-truncated if its homotopy groups all ...
• 26.7k
Accepted

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

Every contractible finite CW complex $X$ satisfies these conditions. This follows from results in Section 7.3 of HTT and Appendix A of HA: we have $Shv(X) \otimes Shv(X)=Shv(X\times X)$ since $X$ is ...
• 8,712

### Examples of topoi that are not ordinary spaces

This is a translation of Dmitri Pavlov's answer into a more intrinsic, more geometric, and more elementary language. In particular, I will show that the étale topos of a positive-dimensional variety ...
Accepted

### Cohesion relative to a pyknotic/condensed base

Let me try to cut through the jargon. One thing that confuses me are two uses of "tangent spaces" here, that I believe are quite unrelated. One is the usual notion of tangent spaces of ...
• 19.9k
Accepted

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

If you are wiling to assume that $C$ has a terminal object $1 \in C$, which I assume is the case as you said all finite products, you can do the following: (As it is not clear if you are interested ...
• 40.2k

### 2-natural operations on toposes

(For me the category of toposes is the opposite of the category of left exact left adjoint functors and natural transformations, so $Topos^{co}$ in your sense) The functor $U$ is representable by the ...
• 40.2k

### Homotopy groups of spheres in a $(\infty, 1)$-topos

If it may be forgiven to resurrect a very old question, it's worth pointing out that these are not the "homotopy groups of spheres" that appear in synthetic homotopy theory / homotopy type theory. ...
• 65.1k