Far Eastern Mathematical Journal

To content of the issue

Completeness of the category of separable Chu spaces

Simakov V.K.

2023, issue 2, P. 252-263 DOI: https://doi.org/10.47910/FEMJ202322

Abstract

In this paper we consider the category $\Chu_{Sep}(\Set)$ of separable Chu spaces over the category $\Set$ of sets. The construction of the limit of an arbitrary functor into the category of Chu spaces over the category of sets is given when its images on objects are separable Chu spaces. The completeness of the category $\Chu_{Sep}(\Set)$ is proved; constructions of equalizers, products and pullbacks in this category are given. It is shown that the colimits of separable Chu spaces are not always separable Chu spaces, but coproducts of separable Chu spaces in the category $\Chu_{Sep}(\Set)$ exist for any separable Chu spaces.

Keywords: category of Chu spaces, separable Chu spaces, limit, equalizer, product, colimit, coequalizer, coproduct.

Download the article (PDF-file)

References

[1] M. Barr, *-Autonomous Categories, Lecture Notes in Math., 752, Springer-Verlag, Berlin, 1979. [2] A. A. Stepanova, E. E. Skurikhin, A. G. Sukhonos, “Kategorii prostranstv Chu nad kategoriei poligonov”, Sib. elektron. matem. izv., 14 (2017), 1220–1237. [3] A. A. Stepanova, E. E. Skurikhin, A. G. Sukhonos, “Uravniteli i kouravniteli v kategorii prostranstv Chu nad kategoriei poligonov”, Sib. elektron. matem. izv., 16 (2019), 709–717. [4] A. A. Stepanova, E. E. Skurikhin, A. G. Sukhonos, “Proizvedeniia prostranstv Chu v kategorii Chu(S-Act)”, Sib. elektron. matem. izv., 17 (2020), 1352–1358.

To content of the issue