Arrgh, I wish to delete this, but do not know how. So i will make it into a question. Georges' nice answer is a presheaf that violates the existence axiom s2 on every nbhd of a point. Is there an example that violates the uniqueness axiom s1 on every nbhd of some point?
roy smith
- 12.4k
- 3
- 78
- 73