Types as Processes, via Chu spaces

Types as processes, via Chu spaces

We match up types and processes by putting values in correspondence with events, coproduct with (noninteracting) parallel composition, and tensor product with or-thocurrence. We then bring types and processes into closer correspondence by broadening and unifying the semantics of both using Chu spaces and their transfor-mational logic. Beyond this point the connection appears to break down; we p...

Generalizing Topology via Chu Spaces

By using the representational power of Chu spaces we define the notion of a generalized topological space (or GTS, for short), i.e., a mathematical structure that generalizes the notion of a topological space. We demonstrate that these topological spaces have as special cases known topological spaces. Furthermore, we develop the various topological notions and concepts for GTS. Moreover, since ...

Chu Spaces

A New Look at Fuzzy Theory Via Chu Spaces

We propose to use Chu categories as a general framework for uncertainty analysis, with a special attention to fuzzy theory. We emphasize the fact that by viewing fuzzy concepts as Chu spaces, we can discover new aggregation operators, and model interactions and relationship between fuzzy data; these possibilities are due, in essence, to the category structure of Chu spaces, and especially to th...

Bifinite Chu Spaces

This paper studies colimits of sequences of finite Chu spaces and their ramifications. Besides generic Chu spaces, we consider extensional and biextensional variants. In the corresponding categories we first characterize the monics and then the existence (or the lack thereof) of the desired colimits. In each case, we provide a characterization of the finite objects in terms of monomorphisms/inj...