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 | |
Results tagged with sites
Search options answers only
not deleted
user 4528
For questions related to the mathematical notion of site, which among others generalizes the notion of topological space. For questions on internet-sites, use online-resources, but note that these questions need to be very specific to research-level mathematics to be on-topic.
3
votes
Accepted
Morphism on schemes induced by continuous morphism of sites
If $X$ is also locally of finite type, there is a canonical functor $\pi_X:X_{et} \to LFtyp$ sending each etale map $X' \to X$ to $X'.$ This is a morphism of sites which induces the geometric morphism … In particular, any map of sites $f:X_{et} \to Y_{et}$ commuting over their projections to $LFtyp$ encodes a morphism $X \to Y.$ However, this is too strict, since maps of ringed topoi need not respect …
- 15.5k