In the present paper, we propose a new axiomatic approach to nonstandard analysis and its application general theory of spatial structures in terms category theory. Our framework is based on idea internal set theory, while make use an endofunctor U topos sets S together with natural transformation υ, instead as “standard”, “internal”, or “external”. Moreover, notion space called U-space, USpace...