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

In category theory, you see the idea of a class of epimorphisms being stable under pullback. For example, in a regular category, the class of regular epimorphisms is closed under pullback. Every place I've seen the notion of pullback-stability, it's always a part of a bigger definition, such as regular category, or Grothendieck topology. Is there some bigger significance to the idea? Is there a theory for pullback-stable classes of epimorphisms?

share|cite|improve this question
I wouldn't call this a theory but these epimorphisms are called "epimorphismes universels" in SGA 4 (I.10.3). – t.b. Feb 4 '11 at 13:01

There is a weaker notion than 'class of maps stable under pullback', and that is a coverage, which is a class of maps that are stable under weak pullback - this is like pullback but only the existence, not the universal property (i.e. being final in all cones). This is all you need to define sheaves. Note that you don't need to work with just epimorphisms, and you don't need your category to have any a priori limits.

Coverages tend to be given by very small amount of data, as their closures under all the usual operations (composition, isomorphisms, taking sieves) give rise to an equivalent site structure, but a coverage is the minimum you need to specify. For example, the category of manifolds has a coverage where the covering families are good open covers (every open is diffeomorphic to some $\mathbb{R}^n$, and so are all their finite intersections). This gives a site equivalent to the one where covering families are collections of jointly surjective submersions. The first is a lot less data!

share|cite|improve this answer
I love the concept of coverages, and I think of sheaf/site stuff in terms of them. I'm still curious about the greater significance, if any, of pullback-stabile epimorphisms. – arsmath Dec 13 '12 at 9:32

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.