A general Galois theory for cofunctions and corelations (Q1866821): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s000120050163 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2355150452 / rank | |||
Normal rank | |||
Latest revision as of 18:50, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A general Galois theory for cofunctions and corelations |
scientific article |
Statements
A general Galois theory for cofunctions and corelations (English)
0 references
23 April 2003
0 references
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.
0 references
coalgebra
0 references
cofunction
0 references
corelation
0 references
operation
0 references
relation
0 references
Galois theory
0 references
bisimulation
0 references
clones
0 references
