Locally convex approach spaces
Locally convex approach spaces
<p>We continue the investigation of suitable structures for quantified functional analysis, by looking at the notion of local convexity in the setting of approach vector spaces as introduced in [6]. We prove that the locally convex objects are exactly the ones generated (in the usual approach sense) by collections of …