3 Answers
3

The condition Martin and Todd mention is indeed a sort of distributivity condition. It is also often called {\em stability} of pushouts. I think that it should not be called commutativity.

Let D and C be small categories, and A a category with D-shaped limits and C-shaped colimits. Then D-limits commute in A with C-shaped colimits when the functor
$[D,A]\to A$ which calculates the limit preserves C-colimits. This is equivalent to saying
that the functor $[C,A]\to A$ which calculates the colimit preserves D-limits. The most famous example is commutativity of finite limits with filtered colimits.

Note, however, that commutativity of pullbacks and pushouts in this sense is rare, and is probably not what was meant.

If we pass from category theory to homotopy theory, we can consider whether D-shaped homotopy limits commute (up to natural weak equivalence) with C-shaped homotopy colimits. This is not so rare. If the category is pointed then it is the same as what is commonly called stable. Typical examples are spectra, or (unbounded) chain complexes of R-modules. It's also the same as saying that a square diagram is a homotopy pushout iff it is a homotopy pullback. Also the same as: finite homotopy colimits commute with all homotopy limits (or vice versa).
–
Tom GoodwillieNov 18 '10 at 3:06

Good point about the homotopy case. One example (in the non-homotopy case) where pushouts and pullbacks do commute is in a groupoid. But pullbacks and pushouts in groupoids are not very interesting.
–
Steve LackNov 18 '10 at 10:40

Thank you for the answer, Steve. May I formulate it in this way: The commuting property is fulfilled iff for every functor $F:C\times D\to A$ it does not matter if I first apply the colimit functor to the first "factor" and get a functor $F':D\to A$ to which I apply the limit functor or if I do it the other way round?
–
roger123Nov 18 '10 at 14:10

I think one would need some context to be sure how this is meant to be interpreted, but one possible interpretation would be subsumed under the condition that a pullback functor between slice categories preserves colimits.

So: suppose we have a pushout $h: B \to P \leftarrow C: j$ of a diagram

$$B \stackrel{f}{\leftarrow} A \stackrel{g}{\to} C$$

and suppose given an arrow $k: Q \to P$. Then you can pull back the pushout diagram targeted at $P$ along $k$ to get a square terminating at $Q$. If this square is a pushout, then you could say that the pullback functor $k^\ast$ preserves the pushout.