nLab
extensive category

Extensive categories

Idea

A category is extensive if it has coproducts that interact well with pullbacks. Variations (some only terminological) include lextensive, disjunctive, and positive categories. All of these come in finitary and infinitary versions (and, more generally, κ\kappa-ary versions for any arity class κ\kappa).

Definitions

An finitely extensive category (or finitary extensive category) is a category EE with finite coproducts such that one, and hence all, of the following equivalent conditions holds:

  1. Pullbacks of finite-coproduct injections along arbitrary morphisms exist and finite coproducts are disjoint and stable under pullback.
  2. For any objects a,ba,b the coproduct functor E/a×E/bE/(a+b)E/a \times E/b \to E/(a+b) is an equivalence of categories.
  3. In any commutative diagram
    x z y a a+b b\array{x & \to & z & \leftarrow & y\\ \downarrow & & \downarrow & & \downarrow \\ a & \to & a+b & \leftarrow & b}

    the two squares are pullbacks if and only if the top row is a coproduct diagram.

  4. Finite coproducts are van Kampen colimits. By definition, this is to say one of the previous two conditions (depending on the definition chosen).

An infinitary extensive category is a category EE with all (small) coproducts such that the following analogous equivalent conditions hold:

  1. Pullbacks of coproduct injections along arbitrary morphisms exist and finite coproducts are disjoint and stable under pullback.
  2. For any small family (a i)(a_i) of objects, the coproduct functor i(E/a i)E/ ( ia i)\prod_i (E/a_i) \to E/_{(\coprod_i a_i)} is an equivalence of categories.
  3. For any family of commutative squares
    x i z f a i ia i\array{ x_i & \to & z \\\downarrow &&\downarrow^f \\ a_i & \to & \coprod_i a_i }

    in which the bottom family of morphisms is the coproduct injections and the right-hand morphism is always the same, the top family are the injections of a coproduct diagram (hence z= ix iz = \coprod_i x_i) if and only if all the squares are pullbacks.

  4. All small coproducts are van Kampen colimits.

In between, a κ\kappa-ary extensive category (for κ\kappa a cardinal number or an arity class) is one with disjoint and stable coproducts of fewer than κ\kappa objects. The unqualified term extensive category can refer to either the finitary or infinitary version, depending on the author; the more usual meaning is the finitary version.

Extensive categories are also called positive categories, especially if they are also coherent. Note that any disjoint coproduct in a coherent category is automatically pullback-stable. A positive coherent category which is also exact is called a pretopos. Infinitary pretoposes encapsulate all the exactness conditions of Giraud’s theorem characterizing Grothendieck toposes (the remaining condition is the existence of a small generating set).

If an extensive category also has finite limits, it is called lextensive or disjunctive. (Note that the more usual default meaning of ‘disjunctive’, unlike the other terms, is the infinitary case.)

Remarks

  • The alternative definitions of finitary disjunctive refer only to binary coproducts, but they obviously imply analogous statements for nn-ary coproducts for all finite n1n \ge 1. Less obviously, they also imply the analogous statement for 00-ary coproducts (that is, initial objects). In this case, the statement is that the initial object 0 is strict (any map a0a\to 0 is an isomorphism).

  • Furthermore, if binary coproducts are disjoint, then (at least assuming classical logic) any infinitary coproducts that exist are also disjoint, since

    aAX aX a 0 aa 0X aX a 0X a 1 aa 0,a 1X a\bigsqcup_{a\in A} X_a \cong X_{a_0} \sqcup \bigsqcup_{a\neq a_0} X_a \cong X_{a_0} \sqcup X_{a_1} \sqcup \bigsqcup_{a\neq a_0,a_1} X_a

    for any a 0,a 1Aa_0, a_1\in A. Therefore, if a finitary-extensive category has infinitary pullback-stable coproducts, it is necessarily infinitary-extensive. In particular, a cocomplete locally cartesian closed category is finitary extensive if and only if it is infinitary extensive. Thus, for instance, any cocomplete elementary topos is infinitary extensive.

  • See familial regularity and exactness for a generalization of extensivity and its relationship to exactness.

  • Any extensive category with finite products is automatically a distributive category.

Examples

  1. An elementary topos is finitary lextensive; a Grothendieck topos (or, more generally, any cocomplete elementary topos) is infinitary lextensive.

  2. The category Top of topological spaces is infinitary lextensive. The category Diff of smooth manifolds is infinitary extensive, though it lacks all pullbacks.

  3. The category of schemes is infinitary lextensive. In more detail: the category of functors CRingSetCRing \to Set is infinitary lextensive (since finite limits and small coproducts are computed pointwise in SetSet), then sheaves with respect to the Zariski topology on CRing opCRing^{op} form an infinitary lextensive category (since finite limits and small coproducts are reflected back from [CRing,Set][CRing, Set] by applying a left exact reflection to the inclusion of sheaves in presheaves). Finally, the category of schemes, as a full subcategory of the Zariski sheaves, are closed under finite limits and small coproducts. (Some discussion of these points can be found at the nForum, particularly in comment #18.)

  4. The category of affine schemes (opposite to the category of commutative rings with identity) is lextensive, but (perhaps contrary to geometric intuition) not infinitary lextensive. Some details may be found here.

  5. The category Cat is infinitary lextensive.

Superextensive sites

Any extensive category admits a Grothendieck topology whose covering families are (generated by) the families of inclusions into a coproduct (finite or small, as appropriate). We call this the extensive coverage or extensive topology. The codomain fibration of any extensive category is a stack for its extensive topology.

In general, we call a site superextensive if its underlying category is extensive, its covering families are generated by (finite or small) families, and its coverage includes the extensive one. See superextensive site for more details.

Pre-lextensive categories

Extensivity is an “exactness” condition, analogous to being a exact category or a pretopos (a pretopos being precisely a category that is exact and finitary-extensive). The corresponding “regularity” condition analogous to being a regular category or a coherent category is not well-known, but is not hard to write down.

Let us say (without making any assertion that this is good or permanent terminology) that a category is pre-lextensive if

  1. it has a strict initial object 00 (equivalently, its subobject preorders have pullback-stable bottom elements), and
  2. whenever AXA\rightarrowtail X and BXB\rightarrowtail X are disjoint subobjects (i.e. AB=0A\cap B=0), they have a pullback-stable union (which is then automatically a disjoint and stable coproduct).

This is intended to complete the table of analogies:

someall
regular categoryexact category
coherent categorypretopos
pre-lextensive categorylextensive category

Regular/exact categories have quotients of (some) congruences. Exact categories have quotients of all congruences, while regular ones have quotients only of congruences that are kernel pairs. Another way to say that is that in a regular category, you can conclude that the quotient of some congruence exists if you can exhibit another object of which the quotient would be a subobject if it existed. Similarly, pre-/lextensive categories have disjoint unions. Lextensive categories have all disjoint unions (= coproducts), while in a pre-lextensive category you can conclude that a pair of objects X,YX,Y have a disjoint union if you can exhibit another object in which XX and YY can be embedded disjointly. Finally, coherent categories/pretoposes have both quotients and disjoint unions, or equivalently quotients and not-necessarily-disjoint unions, with the same sort of relationship between the two.

Evidently a pre-lextensive category is lextensive as soon as any two objects can be embedded disjointly in a third. Pre-lextensive categories also suffice for the interpretation of disjunctive logic.

Being pre-lextensive is also sufficient to define the extensive topology and show that it is subcanonical, since it implies that whatever disjoint coproducts exist must be pullback-stable. The codomain fibration of a pre-lextensive category is not necessarily a stack for its extensive topology, but this condition is weaker than extensivity. It is true, however, that if CC is a pre-lextensive category whose codomain fibration is a stack for its extensive topology, and in which the disjoint coproduct 1+11+1 exists, then CC is extensive, for arbitrary disjoint (binary) coproducts can then be obtained by descent along the covering family (11+1,11+1)(1\to 1+1, 1\to 1+1).

References

Carboni, Aurelio and Lack, Stephen and Walters, R. F. C., Introduction to extensive and distributive categories, JPAA 84 no. 2

Discussions

While creating this page, we had the following discussion regarding “finitely” versus “infinitary.”

Can we say ‘small-extensive’? Or even redefine ‘extensive’ to have this meaning, using ‘finitely extensive’ for the first version? —Toby

I think “extensive” is pretty well established for the finite version, and I would be reluctant to try to change it. I wouldn’t object too much to “small-extensive” for the infinitary version in principle, but \infty-positive is used in the Elephant and possibly elsewhere. I think the topos theorists think by analogy with \infty-pretopos, which I don’t think we have much hope of changing, despite the unfortunate clash with ”\infty-topos.” But you can use “finitary disjunctive” and “disjunctive” in the lex case, which most examples are. -Mike

Mike: Okay, I just ran across one paper that uses “(infinitary) extensive” for the infinitary version the first time it was introduced, and then dropped the parenthetical for the rest of the paper. I also recall seeing “extensive fibration” used for a fibration having disjoint and stable indexed coproducts, which is certainly a (potentially) infinitary notion. So perhaps there is no real consensus on whether “extensive” definitely implies the finite version or the infinitary one.

Toby: It would be nice to not overload the prefix ’\infty-’ so much. It's like ‘continuous’; default to small.

Mike: I agree that it would be nice to avoid \infty-. What if we do what we did for omega-category? That is, if you want to be unambiguous, say either “finitary extensive” or “infinitary extensive,” and in any particular context you are allowed to define “extensive” at the beginning to be one of the two and use it without prefix in what follows.

Toby: Sure. Of course, the general concept is κ\kappa-extensive, where κ\kappa is any cardinal (which we may assume to be regular).

Revised on August 8, 2013 23:05:49 by Todd Trimble (67.80.8.75)