Contents

topos theory

Contents

Definition

Definition

A (possibly) large site is a small-generated site if it has a small dense sub-site.

Remark

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.

References

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.