Evgeniy E. Skurikhin, Alena A. Stepanova, Andrey G. Sukhonos, “On Chu spaces over <nobr>$SS-Act$</nobr> category”, Bulletin of Irkutsk State University. Series Mathematics, 2023, Volume 44,Pages <nobr>116

Algebraic and logical methods in computer science and artificial intelligence

On Chu spaces over $SS-Act$ category

Evgeniy E. Skurikhin^ab, Alena A. Stepanova^a, Andrey G. Sukhonos^a

^a Far-Eastern Federal University, Vladivostok, Russian Federation
^b Institute of Applied Mathematics FEB RAS, Vladivostok, Russian Federation

Abstract: We prove the general properties of morphisms of Chu spaces and functors with a value in the category $Chu(SS-Act)$ of Chu spaces over the category $SS-Act$. As a consequence, for the category $Chu(SS-Act)$ the existence of coproducts and some products is proved, monomorphisms and epimorphisms are characterized; in terms of this category the characteristics of separable and complete separable Chu spaces are given.

Keywords: Cartesian closed category, $S$-Act, Chu spaces, functors, limits.

UDC: 512.53, 512.58

MSC: 20M30, 18M05

Received: 20.01.2023
Revised: 13.03.2023
Accepted: 20.03.2023

Language: English

DOI: 10.26516/1997-7670.2023.44.116