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...
Main Authors: | Manfred Droste, Guo-Qiang Zhang |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2010-01-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/1183/pdf |
Similar Items
-
Coherent and finiteness spaces
by: Pierre Hyvernat
Published: (2011-09-01) -
Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
by: Damiano Mazza
Published: (2009-12-01) -
Initial Semantics for Reduction Rules
by: Benedikt Ahrens
Published: (2019-03-01) -
Labelled transition systems as a Stone space
by: Michael Huth
Published: (2005-01-01) -
A Graph Model for Imperative Computation
by: Guy McCusker
Published: (2010-01-01)