nLab
constant presheaf

Contents

Context

Category Theory

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Definition

A presheaf is just a functor C opSetC^{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:19. See the history of this page for a list of all contributions to it.