Title: Topological Vector Spaces: a non-standard approach with monads and galaxies

Abstract: By generalizing the overspill principle towards directed sets, a new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties associated with these maps can be extended not only to internal sets but to all monads and galaxies. An abstract theory of Intersections of Galaxies is introduced. These concepts are applied to basic topology as well (locally convex) topological vector spaces and their properties. Local properties and completeness can be defined and characterized effortlessly. Duality theory is studied in this framework, allowing in particular to formulate brief and insightful proofs for the theorems of Mackey-Arens and Grothendieck completeness without any technicalities.