Displaying similar documents to “An application of nonstandard analysis to category”