Tensor products of contexts and complete lattices

Abstract

Although the categoryCLC of complete lattices and complete homomorphisms does not possess arbitrary coproducts, we show that the tensor product introduced by Wille has the universal property of coproducts for so-called distributing families of morphisms (and only for these). As every family of morphisms into a completely distributive lattice is distributing, this includes the known fact that in the category of completely distributive lattices, arbitrary coproducts exist and coincide with the tensor products. Since the definition of tensor products is based on the notion of contexts and their concept lattices, many results on tensor products extend from complete lattices to contexts. Thus we introduce two kinds of tensor products for arbitrary families of contexts, a “partial” and a “complete” one, and establish universal properties of these tensor products.