Contents

category theory

topos theory

# Contents

## Definition

A presheaf is just a functor $C^{op} \to Set$ and it is a constant presheaf if that functor is a constant functor.

The sheafification of a constant presheaf is not in general constant anymore, but is called a locally constant sheaf (in fact it is also sometimes called just a constant sheaf, beware).

Created on June 20, 2013 at 12:46:27. See the history of this page for a list of all contributions to it.