Computer Science > Logic in Computer Science
[Submitted on 17 Nov 2009 (this version), latest version 13 Jan 2010 (v2)]
Title:Bifinite Chu Spaces
View PDFAbstract: This paper studies colimits of sequences of finite Chu spaces and their ramifications. We consider three base categories of Chu spaces: the generic Chu spaces ({\bf C}), the extensional Chu spaces ({\bf E}), and the biextensional Chu spaces ({\bf B}). The main results are: (1) a characterization of monics in each of the three categories; (2) existence (or the lack thereof) of colimits and a characterization of finite objects in each of the corresponding categories using monomorphisms/injections (denoted as {\bf iC}, {\bf iE}, and {\bf iB}, respectively); (3) a formulation of bifinite Chu spaces with respect to {\bf iC}; (4) the existence of universal, homogeneous Chu spaces in this category. Unanticipated results driving this development include the fact that: (a) in {\bf C}, a morphism $(f,g)$ is monic iff $f$ is injective and $g$ is surjective while for {\bf E} and {\bf B}, $(f,g)$ is monic iff $f$ is injective (but $g$ is not necessarily surjective); (b) while colimits always exist in {\bf iE}, it is not the case for {\bf iC} and {\bf iB}; (c) not all finite Chu spaces (considered set-theoretically) are finite objects in their categories. This study opens up opportunities for further investigations into recursively defined Chu spaces, as well as constructive models of linear logic.
Submission history
From: Guo-Qiang Zhang [view email][v1] Tue, 17 Nov 2009 06:27:14 UTC (35 KB)
[v2] Wed, 13 Jan 2010 23:45:22 UTC (43 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.