Could not include topos theory - contents
A copresheaf on a category is a presheaf on the opposite category .
In other words, a co-presheaf on is just a functor on . 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