Author: varkor Format: MarkdownItex"Covariant presheaf" seems to be a more widely-used name than "copresheaf", so it's useful to document it here.
<a href="https://ncatlab.org/nlab/revision/diff/copresheaf/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/copresheaf/4">v4</a>, <a href="https://ncatlab.org/nlab/show/copresheaf">current</a>
“Covariant presheaf” seems to be a more widely-used name than “copresheaf”, so it’s useful to document it here.
Author: Urs Format: MarkdownItexmade explicit the choice of codomain of the copresheaves,
added a line on the category of copresheaves
and made *category of copresheaves* redirect to here
<a href="https://ncatlab.org/nlab/revision/diff/copresheaf/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/copresheaf/8">v8</a>, <a href="https://ncatlab.org/nlab/show/copresheaf">current</a>
made explicit the choice of codomain of the copresheaves,
added a line on the category of copresheaves
and made category of copresheaves redirect to here