Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 4528
6 votes
0 answers
197 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 (m …
David Carchedi's user avatar
8 votes
0 answers
841 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 …
David Carchedi's user avatar
10 votes
2 answers
1k 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 …
David Carchedi's user avatar