  In order to apply nonstandard methods to modern algebraic geometry, as a
first step in this paper we study the applications of nonstandard constructions
to category theory. It turns out that many categorial properties are well
behaved under enlargements.
