In the category of locally convex (topological vectorial) Hausdorff spaces, by means of the
Banach spaces of bounded functions that are defined on a set, sufficiently many injective …