Chu spaces are a new model for information structure and mathematical structure in general. Their properties are usually developed as a form of category theory. In this note, we show how they may also be viewed as models for a two-sorted first-order language, and we determine the exact flow of information across the natural Chu transforms. Our analysis is akin to that of process graphs via bisimulation and modal formulas.

Bioinformatics, the integration of information technology and biotechnology, is the primary means to make medical sense out of the map of the human genome, and bioinformatics capabilities continue to expand exponentially. Consequently, the demand for access to human biological samples and medical information has never been greater. This demand is giving rise to ambitious biobanking initiatives - meaning the organized collection of samples and medical information from human population.