Separated totally convex spaces

In this paper we define for every totally convex space a suitable topology, the radial topology. We prove that a morphism in the category TC^sep of separated totally convex spaces is an epimorphism if and only if its image is dense in the radial topology, and that TC^sep is the full subcategory of TC generated by its Hausdorff objects. These results remain valid for finitely totally convex spaces when the radial topology is replaced by the distance-radial topology.Dedicated to Karl Stein