4 Hits in 1.2 sec

Bifinite Chu Spaces

Manfred Droste, Guo-Qiang Zhang, Valeria de Paiva
2010 Logical Methods in Computer Science  
Bifinite Chu spaces are then expressed with respect to the monics of generic Chu spaces, and universal, homogeneous Chu spaces are shown to exist in this category.  ...  This paper studies colimits of sequences of finite Chu spaces and their ramifications. Besides generic Chu spaces, we consider extensional and biextensional variants.  ...  Although the category of bifinite Chu spaces is monoidal, it is not monoidal closed [11] . Also, the construction of linear negation cannot be accounted for nicely in bifinite Chu spaces either.  ... 
doi:10.2168/lmcs-6(1:3)2010 fatcat:bbv4hbkg35cfnd3nu4ysf2qjpm

A Monoidal Category of Bifinite Chu Spaces

Fang-Ping Huang, Manfred Droste, Guo-Qiang Zhang
2008 Electronical Notes in Theoretical Computer Science  
This paper studies the monoidal closedness properties of bifinite Chu spaces, and introduces a new notion called E-bifinite Chu spaces.  ...  These are defined in the category of extensional Chu spaces with monics, as colimits of ω-sequences of finite spaces. All bifinite Chu spaces are E-bifinite.  ...  In this section, we introduce a new kind of Chu spaces, named E-bifinite Chu spaces, which are similar to, yet distinct from bifinite Chu spaces.  ... 
doi:10.1016/j.entcs.2008.04.068 fatcat:nkdtwqcaa5d4bcfzetjegzuwvi

Bifinite Chu Spaces [chapter]

Manfred Droste, Guo-Qiang Zhang
Algebraic Informatics  
We consider three base categories of Chu spaces: the generic Chu spaces (C), the extensional Chu spaces (E), and the biextensional Chu spaces (B).  ...  Chu spaces with respect to iC; (4) the existence of universal, homogeneous Chu spaces in this category.  ...  However, we show that there is a single bifinite Chu space U which contains any other bifinite Chu space as a subspace.  ... 
doi:10.1007/978-3-540-75414-5_4 dblp:conf/cai/DrosteZ07 fatcat:tpd3zulgzjg7zlq5ugztlax5hu

Big toy models

Samson Abramsky
2011 Synthese  
In this way we obtain a full and faithful functor from the groupoid of Hilbert spaces and their symmetries to Chu spaces.  ...  To this end, we show how Chu spaces can be used to represent physical systems of various kinds.  ...  Universal homogeneous Chu spaces have been constructed for bifinite Chu spaces in recent work by Manfred Droste and Guo-Qiang Zhang [8] . That context is too limited for our purposes here.  ... 
doi:10.1007/s11229-011-9912-x fatcat:nwuadybpyzdqzlmazleam5rcd4