added a sentence pointing to free completion
]]>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
]]>Added redirect “precosheaf”.
]]>“Covariant presheaf” seems to be a more widely-used name than “copresheaf”, so it’s useful to document it here.
]]>