Sheaves of implicit operations in weak varieties of partial algebras (Q2366147)

\(n\)-ary (partial) implicit operations in a (weak) variety of partial algebras \(V\) are defined as ``almost natural'' transformations from \(U^ n\) to \(U\) for a naturally defined forgetful functor \(U: V\to Pfn\) into the category \(Pfn\) of sets and partial functions. This concept generalizes the notion of a term operation in the sense that both concepts coincide provided \(V\) consists of total algebras only. The notion of the spectrum of a weak variety (introduced in an author's earlier paper) serves as a base for an inner classification of implicit operations. A logical description of implicit operations is given showing in particular a relationship between them and term-operations. If a weak variety \(V\) is elementary (i.e. it has a first order description) its spectra may be endowed with a suitable compact and total order disconnected topology. This leads to the main result of the paper which states that locally finitely definable implicit operations with fixed arity form a sheaf on this topological space (Theorem 3.9).