nLab copresheaf

Contents

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

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

In other words, a copresheaf on CC is just a functor CSetC \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 April 18, 2020 at 05:47:31. See the history of this page for a list of all contributions to it.