A mosaic of Chu spaces and Channel Theory Ⅰ: Category-theoretic concepts and tools

摘要

Chu Spaces and Channel Theory are well-established areas of investigation in the general context of category theory when applied to semantically-based information flow. In this Part I of a two-part work, we review a range of related concepts and examples showing how these methods can be applied to logic and computer science, including Formal Concept Analysis, distributed systems and ontology development. We also discuss spatial coarse-graining in relationship to information, and in this direction we establish some basic simplicial and categorical techniques which will supplement the other methods of this Part I when they are applied to characterise visual object identification and the inference of mereological (i.e. part-whole) complexity in Part II.