The infinity-topos-theory tag has no wiki summary.

**2**

votes

**0**answers

110 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

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

**6**

votes

**3**answers

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

**2**

votes

**0**answers

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

**3**

votes

**1**answer

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

**5**

votes

**0**answers

92 views

### Which dense inclusions of sites are ∞-dense?

An inclusion of sites f: D→C is dense if it induces an equivalence between the categories of sheaves on C and D.
Likewise, f is ∞-dense is it induces an equivalence between the ∞-categories of ...

**4**

votes

**0**answers

117 views

### Lex $\infty$-colimits

In the paper lex colimits, Garner and Lack gave a general characterization of "exactness properties" for categories (and enriched categories). A "lex-weight" is a weight for colimits whose domain ...

**13**

votes

**2**answers

514 views

### $\infty$-categorical interpretation of type theory

One can read at several places that Martin-löf type theory should be the internal language of a locally Cartesian closed infinity category, and that the univalence axiom should distinguished infinity ...

**4**

votes

**1**answer

277 views

### Homotopy left-exactness of a left derived functor

Let
$$
F: \mathcal{C} \leftrightarrows \mathcal{D} :G
$$
be a Quillen adjunction between model categories. Consider the corresponding adjunction of total derived functors
$$
\mathbb{L}F: ...

**5**

votes

**2**answers

283 views

### Is the site of (smooth) manifolds hypercomplete?

By site of manifolds Man, I mean the category of manifolds (maybe submanifolds to obtain a small category) with continuous maps between them. A Grothendieck topology is given by open covers. Actually, ...

**4**

votes

**0**answers

147 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

**1**answer

182 views

### FIltered colimits of truncated objects in $\infty$-topoi

The bare question:
Let $\mathcal{C}$ be an $\infty$-topos, and let $\tau_{\leq 0}\mathcal{C}$ be the subcategory of 0-truncated objects (which is the nerve of an ordinary Grothendieck topos: see HTT ...

**3**

votes

**0**answers

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

**6**

votes

**0**answers

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

**8**

votes

**1**answer

269 views

### Boolean non-hypercomplete $(\infty,1)$-toposes

Let's say that an $(\infty,1)$-topos is Boolean if for every object $X$, the lattice $Sub(X)$ of subobjects (i.e. $(-1)$-truncated morphisms into $X$) is a Boolean algebra. I think this is equivalent ...

**10**

votes

**1**answer

318 views

### Are $\infty$-topoi determined by their localic points ?

Hello !
If $T$ is an infinity topos, then you can consider the infinity category of geometric morphism from $Sh_{\infty}(\mathcal{L})$ to $T$ for any locale $\mathcal{L}$. This associate to $T$ an ...

**10**

votes

**1**answer

1k views

### Forcing in Homotopy Type Theory

I apologize if this question doesn't make any sense. I'll just go ahead and delete it if that's the case. But the question is just the title. Is there a notion of forcing in homotopy type theory? ...

**2**

votes

**0**answers

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

**5**

votes

**2**answers

287 views

### Necessary conditions for cofibrancy in global projective model structure on simplicial presheaves

Consider the global projective model category
of simplicial presheaves on some category
(the category of smooth manifolds is particularly interesting to me).
In Section 9.1 of Dugger's paper ...

**7**

votes

**2**answers

419 views

### Canonical topology for infinity topoi revisited.

A while ago I asked this quetion: Canonical topology for big infinity topoi
and this question: How to resolve size issues with the regular epimorphism topology
Let me first summarize some of what I ...

**16**

votes

**0**answers

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

**18**

votes

**2**answers

808 views

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

Let $H$ be an $(\infty,1)$-topos (seen as a generalization of the homotopy category of spaces).
You can define the suspension of an object $X$ as the (homotopy) pushout of $*\leftarrow X \to *$, ...

**5**

votes

**0**answers

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