Re: Sheaf terminology question

Late Alexander L. Rosenberg used the term epipresheaf in that case; I am not sure if he learned it somewhere or he made it up. The reasoning behind the terminology is clear. Zoran Škoda On 16 Jul 2018 14:10, "Andrew Pitts" <andrew.pitts@cl.cam.ac.uk> wrote:

Given a coverage on a small category, the condition for a Set-valued presheaf on the category to be a sheaf has an existence part and a uniqueness part. If only the uniqueness part holds, one says that the presheaf is separated. Is there a name out there for presheaves that only satisfy the existence part of the sheaf condition?

Andy Pitts

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]