Construction of sheaves by tolerance relations

Abstract

In this paper a method to construct a global sheaf space over a topological space for an arbitrary set using tolerance relations is proposed. It is observed that in general, the sheaf constructed by this method is different from the sheaf constructed by the method discussed in [U. M. Swamy, Representation of Universal algebra by sheaves, Proc. Amer. Math. Soc. 45 (1974) 55–58]. A necessary and sufficient condition for embedding a non-empty set into the set of all global sections of a sheaf over given topological space is established, and further an application over graphs is studied.