\(p\)-Banach spaces and \(p\)-totally convex spaces (Q1818921)

The author introduces for \(0<p\leq 1\), the categories of \(p\)-normed \({\mathcal V}ec_p\) and \(p\)-Banach vector spaces \({\mathcal B}an_p\), with linear contractions as morphisms, and the categories of \(p\)-totally convex spaces \({\mathcal{TC}}_p\), and \(p\)-absolutely convex spaces \({\mathcal{AC}}_p\), (\(0<p\leq 1\)), with their morphisms. It is proved that \({\mathcal{TC}}_p\) and \({\mathcal{AC}}_p\) are Eilenberg-Moore algebras for the canonical unit ball functor defined on \({\mathcal B}an_p\) and \({\mathcal V}ec_p\) . Some other properties of these spaces, obtained for \(p=1\) by \textit{R. Börger} and \textit{R. Kemper} [Appl. Categ. Struct. 2, No. 1, 1-11 (1994; Zbl 0812.46068)] and by \textit{D. Pumplün} and \textit{H. Röhrl} [ Commun. Algebra 12, 953-1019 (1984; Zbl 0552.46042) and Commun. Algebra 13, 1047-1113 (1985; Zbl 0574.46054)], are generalized in this paper for \(0<p\leq 1\).