A (possibly) large site is a small-generated site if it has a small dense sub-site.
In (Johnstone, p. 548) this is called an essentially small site. But notice that the underlying category of such need not be an essentially small category.
The category of paracompact manifolds with its standard open cover coverage is a large site that is small-generated: a dense sub-site is CartSp.
Similarly the category Diff of smooth manifolds with the open cover coverage is a large site that is small-generated: a dense sub-site is CartSp.
Page 548 of
Last revised on January 20, 2011 at 13:05:07. See the history of this page for a list of all contributions to it.