A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Bifinite Chu Spaces
2010
Logical Methods in Computer Science
Preserved Fulltext
Other Versions
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
2008
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
Algebraic Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2011
Synthese
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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