#
nLab

constant presheaf

Contents
### Context

#### Category Theory

**category theory**

## Concepts

## Universal constructions

## Theorems

## Extensions

## Applications

#### Topos Theory

**topos theory**

## Background

## Toposes

## Internal Logic

## Topos morphisms

## Cohomology and homotopy

## In higher category theory

## Theorems

# 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:19.
See the history of this page for a list of all contributions to it.