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

Revised on January 20, 2011 13:05:07 by Toby Bartels (173.190.159.69)