Skip to main content

All Questions

7 votes
1 answer
573 views

If we replace the spectrally ringed space in the definition of a spectral scheme with an arbitrary infinity-topos, what objects do we get?

I'll phrase this in terms of spectral AG, but I'm curious about the same question in the classical context. We define a nonconnective spectral Deligne-Mumford stack to be a spectrally-ringed topos ...
Doron Grossman-Naples's user avatar
9 votes
0 answers
579 views

Coherent objects in a hypercomplete $\infty$-topos

In Lurie's "Spectral Algebraic Geometry", Proposition A.6.6.1 (2) shows that for $\mathcal{X}$ an $\infty$-topos that is both locally coherent and hypercomplete, the full subcategory $\...
Markus Zetto's user avatar
18 votes
1 answer
1k 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 ...
ExceptionallyCluelessGrad's user avatar
7 votes
1 answer
517 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 ...
Jonathan Beardsley's user avatar
5 votes
1 answer
696 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 $(...
sopot's user avatar
  • 105