Information categories
type: Item
instance of: scholarly article
title: Information categories
zbMATH Open document ID: 0794.18003
DOI: 10.1007/BF00880044
author: Abbas Edalat
author: Michael B. Smyth
published in: Applied Categorical Structures
publication date: 1994-08-22T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 18B35
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 06B35
zbMATH DE Number: 554351
zbMATH Keywords: information categories
zbMATH Keywords: Scott information systems
zbMATH Keywords: \(I\)-category
zbMATH Keywords: categories of domains
zbMATH Keywords: initial algebra
zbMATH Keywords: Stone spaces
reviewed by: Cristian S. Calude
MaRDI profile type: Publication
cites work: Sequential algorithms on concrete data structures
cites work: Q4204135
cites work: Q4692885
cites work: Q4282568
cites work: Q3322099
cites work: Q5731806
cites work: Universal profinite domains
cites work: Q5721231
cites work: Q3812427
cites work: Q3992908
cites work: Q3727946
cites work: Q3326830
cites work: Q3959414
cites work: Effectively given domains
cites work: The largest Cartesian closed category of domains
cites work: Stable Compactification I
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Q4282567
full work available at URL: https://doi.org/10.1007/bf00880044
OpenAlex ID: W4244540398
description: scientific article; zbMATH DE number 554351