nLab
copresheaf

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 on a category CC is a presheaf on the opposite category C opC^{op}.

In other words, a co-presheaf on CC is just a functor on CC. One speaks of functors as co-presheafs if one wants to impose a gluing condition on them and pass to cosheaves.

Revised on July 1, 2013 09:54:50 by Urs Schreiber (89.204.139.146)