23 May
2012
23 May
'12
8:35 a.m.
In my 1969 Ph.D. thesis I showed that, given a "good category for sheaf theory" and a topological space, the associated sheaf functor arises as the dual of your construction. Basically, I needed the "goodness" hypothesis so that the equalizer itself would construct the associated sheaf and thus I would not need to iterate your construction. The triple used, in this case, was the original Godement standard construction. Details can be found in Springer Lecture Notes in Mathematics, volume 236. Don [For admin and other information see: http://www.mta.ca/~cat-dist/ ]