by   Martin Kovár, Alena Chernikava, Marie Klimešová

Framework is an algebraic structure whose purpose is capturing the topological or topology-like structure of a system from its externally observed properties. Formally, framework is a formal context whose incidence relation is the membership relation. The objects are called places and the attributes are collections of places connected by a possible presence of some physical object, e.g., a particle. The set of attributes is called a framology. The structure may be used, for example, for investigation of topological properties of certain causal structures, motivated by quantum gravity, interactions of particles, Feynman diagrams, information systems and databases or solutions of certain differential equations and their global properties. They also may be used for representation of formal contexts and for natural topologization of structures of formal concept analysis. The mutual relationships between various frameworks, whatever is their origin, may be studied by the framework morphisms. For more exact definitions and some details, the reader is referred to the joint paper [1] of the first and the second authors. Our presented application Framework Morphism Checker checks if the given mapping is a morphism or isomorphism between two given frameworks.