Information categories (Q1320330): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Sequential algorithms on concrete data structures / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4204135 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4692885 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4282568 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3322099 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5731806 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Universal profinite domains / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5721231 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3812427 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3992908 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3727946 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3326830 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3959414 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Effectively given domains / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The largest Cartesian closed category of domains / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Stable Compactification I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Category-Theoretic Solution of Recursive Domain Equations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4282567 / rank | |||
Normal rank | |||
Revision as of 13:48, 22 May 2024
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
