MathOverflow is a question and answer site for professional mathematicians. 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

Is there a standard name for a category $C$ in which coproducts exist, and in which coequalizers exist for any action of a finite group on an object of $C$? Equivalently, colimits are required to exist only for diagrams of the form $I \to C$ where $I$ is a finite groupoid.

Some examples satisfying this condition which are not cocomplete: the category of orbifolds, and Grothendieck's category of motives. The latter is closed under quotients of finite groups since it is $\mathbf Q$-linear and pseudo-abelian.

share|cite|improve this question
I bet the answer is "no". If I needed that notion, I might say "finite-groupoid cocomplete", which is a bit clunky but transparent enough. – Tom Leinster Feb 28 '12 at 18:29
I do recall however that Joyal considered somewhat similar cocompleteness conditions for analytic functors in the theory of species; see the appendix of his article in Springer LNM 1234. – Todd Trimble Feb 28 '12 at 19:33
This is a condition that pops up in the definition of Galois categories (at least with the additional assumption of an initial object). See Dubuc and de la Vega's paper "On the Galois theory of Grothendieck", - axiom G2 in section 4.1 – David Roberts Feb 28 '12 at 23:14

Your Answer


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

Browse other questions tagged or ask your own question.