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 categorical properties are well behaved under enlargements.
2000 MSC: 03H05,18A30,18E30,14A99
Theory and Applications of Categories,
Vol. 14, 2005,
No. 16, pp 357-398.
http://www.tac.mta.ca/tac/volumes/14/16/14-16.dvi
http://www.tac.mta.ca/tac/volumes/14/16/14-16.ps
http://www.tac.mta.ca/tac/volumes/14/16/14-16.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/14/16/14-16.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/14/16/14-16.ps