Pumplün, Dieter; Röhrl, Helmut The coproduct of totally convex spaces. (English) Zbl 0619.46063 Beitr. Algebra Geom. 24, 249-278 (1987). The functor \({\hat 0}\) from the category \(Ban_ 1\) to the category TC of totally convex spaces has a left adjoint S. It is shown that S in turn has a left adjoint. This fact allows the description of the coproduct in a very special case and leads to the definition of the direct sum of objects in TC. The direct sum turns out to be the coproduct for separated totally convex spaces. In addition, it gives an explicit description of the interior of the coproduct in the general case. The description of the boundary of the coproduct is given by an explicit construction. Additionally, the authors investigate which of the interesting subcategories of TC are closed under coproducts and which of the results on coproducts remain valid for the category of finitely totally convex spaces. Cited in 2 Documents MSC: 46M15 Categories, functors in functional analysis 18A40 Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) 18B99 Special categories 18A30 Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) Keywords:functor; left adjoint; coproduct; coproduct for separated totally convex spaces PDFBibTeX XMLCite \textit{D. Pumplün} and \textit{H. Röhrl}, Beitr. Algebra Geom. 24, 249--278 (1987; Zbl 0619.46063) Full Text: EuDML