We consider the category of Archimedean ordered vector spaces with linear maps which preserve all existing suprema, and its full subcategories , and , consisting of directed spaces, Dedekind complete vector lattices and universally complete vector lattices, respectively. We deduce from some results in the literature that and are reflective subcategories of , with the usual Dedekind completion being the reflector in . In contrast to these facts, we show that a non-directed Archimedean ordered vector space of dimension greater than has no reflector in either or . In particular, there are no free Dedekind complete vector lattices over a set with more than one element. We also use the occasion to show that a free vector lattice with generators embeds into a free vector lattice with generators if and only if , and explore the concept of the free completion of an Archimedean vector lattice with a strong unit.

生成讲解博客的中文版本

生成AI智能校验的中文版本