A copresheaf, or covariant presheaf, on a category is a presheaf on the opposite category .
In other words, a copresheaf on is just a functor . 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.