The purpose is to give a simple proof that a category is equivalent to a small category if and only if both it and its presheaf category are locally small.
Keywords: small, locally small, small homsets, idempotent, presheaf category.
AMS Classification (1991): 18A25.
Theory and Applications of Categories, Vol. 1, 1995, No. 9, pp 174-181.
http://www.tac.mta.ca/tac/volumes/1995/n9/v1n9.dvi
http://www.tac.mta.ca/tac/volumes/1995/n9/v1n9.ps
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n9/v1n9.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n9/v1n9.ps