presheaf of a topological basis
Let be a topological space and let be a basis of its topology
. We can regard as a category
with objects being the open sets in and arrows/morphisms between to exists only if , andwhere the only element of is the injection map . Let now be a completecategory, we now define thepresheaf
of -objects over the basis of the topology of to be a contravariant functor