sheaves are ptesheaves which satisfy two additional axioms, called usually s1 and s2. failing s1 is enough to give a counterexample.
roy smith
- 12.4k
- 3
- 78
- 73