Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What prompted this question is the definition of a pseudogroup in nlab:

Given a X a topological space. Then a pseudogroup is a subgroupoid of the groupoid of transitions between open sets in X, contains the groupoid of identity transitions, and satisfies a sheaf condition.

(Pseudogroups of continuous/smooth transitions are used to define the atlases for manifolds of the respective kind).

It seems to me a pseudogroup is morally a groupoid G that satisfies the sheaf condition for each presheaf G[-,V] for V an object of G.

share|cite|improve this question
You need more data than just a category to define what a sheaf is. See . – Qiaochu Yuan Aug 27 '12 at 6:54
What do you mean by a sheaf on arbitrary category? (One needs a Grothendieck topology on category to speak about sheaves. Well, any category has a Grothendieck topology in which all representable functors are sheaves.) – Grigory M Aug 27 '12 at 6:54
So a generalisation of a pseudogroup would be, G a groupoid; I turn G into a site by equipping it with a coverage J (that generates a grothendieck topology), then require J to be subcanonical so that every representable hom functor G[-,V] is a sheaf? – Mozibur Ullah Aug 27 '12 at 10:26
up vote 4 down vote accepted

The largest (weakest) Grothendieck topology where all contravariant hom functors are sheaves corresponds to the canonical topology. See:

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.