Distributed systems with simple concept graphs

Abstract

In this article a theory of distributed systems consisting of formal contexts which was introduced by Barwise and Seligman is translated to distributed systems consisting of concept graphs. The aim is to construct for every distributed system a channel consisting of a concept graph representing the distributed system and a set concept graph morphisms representing the relation between the parts of the system and the whole system. To reach this aim two operations for constructing new concept graphs, the semiproduct and the quotient by an invariant, are introduced. These operations are the basis for constructing the concept graph of the channel which represents a distributed system as a whole.