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 not deleted user 11640
9 votes
Accepted

Reflective Localizations vs. categories of local objects

To avoid confusing myself, I will write $L : \mathcal{C} \to \mathcal{C} [\mathcal{W}^{-1}]$ for the localising functor and $R : \mathcal{C} [\mathcal{W}^{-1}] \to \mathcal{C}$ for its right adjoint. …
Zhen Lin's user avatar
  • 15.9k
8 votes
Accepted

What kinds of limits does localization of commutative rings reflect?

One of the fundamental results in commutative algebra is the following: Let $M$ be an $A$-module. Then $M = 0$ if and only if $M_\mathfrak{m} = 0$ for all maximal ideals $\mathfrak{m} \trianglelef …
Zhen Lin's user avatar
  • 15.9k
6 votes

Categories in which isomorphism of stalks does not imply isomorphism of sheaves

Here is a reformulation/generalisation of G. Stefanich's counterexample, showing that sheaf-locality can fail very dramatically once we leave the realm of locally finitely presentable categories. More …
13 votes
2 answers
635 views

Categories in which isomorphism of stalks does not imply isomorphism of sheaves

Let $\mathcal{A}$ be a locally small category with colimits of small filtered diagrams. For the purposes of this question, an $\mathcal{A}$-presheaf on a topological space $X$ is a functor $\Omega (X) …
Zhen Lin's user avatar
  • 15.9k