The paper presents a categorical version of the notion of information system due to D. Scott. The notion of information system is determined in the framework of ordered categories with involution and division and the category of information systems is constructed. The essential role in all definitions and constructions play correlations between inclusion relations and entailment relations.
@article{urn:eudml:doc:39021,
title = {Information systems in categories of valued relations.},
journal = {Mathware and Soft Computing},
volume = {1},
year = {1994},
pages = {197-208},
zbl = {0815.18002},
mrnumber = {MR1329666},
language = {en},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:39021}
}
Gisin, Vladimir B. Information systems in categories of valued relations.. Mathware and Soft Computing, Tome 1 (1994) pp. 197-208. http://gdmltest.u-ga.fr/item/urn:eudml:doc:39021/