Contents

topos theory

# Contents

## Definition

A copresheaf, or covariant presheaf, on a category $C$ is a presheaf on the opposite category $C^{op}$.

In other words, a copresheaf on $C$ is just a functor $C \to Set$. One speaks of functors as copresheaves if one wants to impose a gluing condition on them and pass to cosheaves.

Last revised on December 9, 2018 at 16:00:24. See the history of this page for a list of all contributions to it.