Bifinite Chu Spaces
a characterization of monics in each of the three categories;
existence (or the lack thereof) of colimits and a characterization of finite objects in each of the corresponding categories using monomorphisms/injections (denoted as iC, iE, and iB, respectively);
a formulation of bifinite Chu spaces with respect to iC;
the existence of universal, homogeneous Chu spaces in this category.
in C, a morphism (f,g) is monic iff f is injective and g is surjective while for E and B, (f,g) is monic iff f is injective (but g is not necessarily surjective);
while colimits always exist in iE, it is not the case for iC and iB;
not all finite Chu spaces (considered set-theoretically) are finite objects in their categories.
- 4.Zhang, G.-Q.: Chu spaces, concept lattices, and domains. In: Proceedings of the 19th Conference on the Mathematical Foundations of Programming Semantics, Montreal, Canada, March 2003. Electronic Notes in Theoretical Computer Science, vol. 83, 17 pages (2004)Google Scholar