Information categories (Q1320330)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Information categories |
scientific article |
Statements
Information categories (English)
0 references
22 August 1994
0 references
Information categories are concrete \(I\)-categories in which objects are structured sets of ``tokens'' and morphisms are relations between tokens. The paper gives a general account on the theory and an interesting analysis of several examples: Stone spaces, Scott domains, SPF domains, and continuous bounded complete domains.
0 references
information categories
0 references
Scott information systems
0 references
\(I\)-category
0 references
categories of domains
0 references
initial algebra
0 references
Stone spaces
0 references