Structure of the set of compatible proximities when the set is finite
Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠. For a variety V of type τ we denote by the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible...
A De Morgan quasilattice is an algebra satisfying hyperidentities of the variety of De Morgan algebras (lattices). In this paper we give a functional representation of the free n-generated De Morgan quasilattice with two binary and one unary operations. Namely, we define the concept of super-De Morgan function and prove that the free De Morgan quasilattice with two binary and one unary operations on nfree generators is isomorphic to the De Morgan quasilattice of super-De Morgan functions of nvariables....
On introduit une opérade anticyclique définie par une présentation ternaire quadratique. On montre qu’elle admet une base indexée par les arbres binaires planaires. On relie cette construction à la famille des treillis de Tamari en construisant un isomorphisme entre et le groupe de Grothendieck de la catégorie qui envoie la base de sur les classes des modules projectifs et qui transforme la structure anticyclique de en la transformation de Coxeter de la catégorie dérivée de . La dualité...