Nov 17, 2009 · This paper studies colimits of sequences of finite Chu spaces and their ramifications. Besides generic Chu spaces, we consider extensional and ...
This paper studies colimits of sequences of finite Chu spaces and their ramifications. We consider three base categories of Chu spaces: the generic Chu ...
A Chu space (A,r,X) has two equivalence relations built-in. One is on the rows, where the a-th row corresponds to a function.
Chu spaces are a general framework for studying the dualities of objects and properties; points and open sets; terms and types, under rich mathematical contexts ...
Chu spaces are a general framework for studying the dualities of objects and properties, points and open sets, and terms and types, under rich mathematical ...
This paper studies colimits of sequences of finite Chu spaces and their ramifications. Besides generic Chu spaces, we consider extensional and biextensional ...
May 21, 2007 · Chu spaces are a general framework for studying the dualities of objects and properties; points and open sets; terms and types, under rich ...
Jan 14, 2010 · Bifinite Chu spaces can be viewed, in an intuitive category-theoretic sense, as “count- able” objects which are approximable by the finite ...
Chu spaces are a general framework for studying the dualities of objects and properties, points and open sets, and terms and types, under rich mathematical ...
Chu spaces are a general framework for studying the dualities of objects and properties; points and open sets; terms and types, under rich mathematical contexts ...