nLab
small-generated site

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

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.

Examples

References

Page 548 of

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