Search Results
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 |
9
votes
Accepted
Is there a notion of Čech groupoid of a cover of an object in a Grothendieck site?
Take $U=\coprod_{i∈I}Y(U_i)$, where $Y\colon C\to\mathop{\rm Presh}(C,{\rm Set})$ is the Yoneda embedding.
We have a canonical morphism $U→Y(X)$.
The Čech groupoid of $J_c$ can now be defined as
the …
21
votes
Resources for topos theory
For a beginner, the more accessible textbooks seem to be the following two.
Francis Borceux, Handbook of Categorical Algebra, Volume 3.
Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logi …
6
votes
How to construct cup-product in a general site?
Yes. This is treated in detail in Section 8.4
of Jardine's book “Local homotopy theory”.
See also the introduction to Chapter 8 there
for a historical comment on cup products and Godement resolutions …
11
votes
Accepted
When is a basis of a topological space a Grothendieck pretopology?
This is a matter of expanding the definition, in this case Definition II.1.3 in SGA 4, which defines pretopologies.
By a “base” in this answer I mean what appears to be the most common definition: a c …
2
votes
Accepted
Reference for the Brown-Gersten property for smooth manifolds
I typed up a proof of this result:
Numerable open covers and representability of topological stacks.
The result is proved in greater generaility for arbitrary numerable open covers of topological sp …