A general Galois theory for cofunctions and corelations (Q1866821): Difference between revisions

In the paper it is shown how a theory of clones of cofunctions and their corresponding invariants can be developed in full analogy to the case of ordinary algebras. The main problem was to find proper analogues for invariant corelations. An appropriate relation between sets of cofunctions and corelations is established for which the corresponding operators form a Galois connection. As an application concrete characterization problems are considered, e.g., for strong bisimulations.