tocuched the section Sifted colimits commute with finite products. Added hyperlinks and pointer to the reference given.

]]>I implemented my suggestion at #27, and also moved the definition into a “Definition” section and added a section on preservation by functor categories and localizations (explaining in particular why filtered colimits commute with finite limits in all toposes).

]]>Re #27 good idea, thanks.

]]>I went ahead and added #24 as an example to distributivity of limits over colimits.

]]>Yes, I think #24 works. Good job Marc!

I think #23 works as long as the pullback of $\emptyset \to Z\leftarrow Y$ in $C$ is $\emptyset$, i.e. as long as we already know that initial objects are stable under pullback (which is equivalent to the initial object being strict). But if we don’t yet know whether the initial object of $C$ is strict, and we want to formulate the condition for its being pullback-stable, then #23 doesn’t work to write that as a commutativity condition. I don’t think it helps to add a new initial object to $C$ either, since then the colimit of the modified diagram would be the new initial object rather than the “real” one in $C$ that we want to be talking about.

Given that pullback-stability of colimits is an instance of distributivity, but is also *sometimes* an instance of commutativity, and the technicalities of regarding it as the latter are a little subtle, I still think we should move all substantial discussion and examples of pullback-stability to universal colimit. We can include explanations at commutativity of limits and colimits and distributivity of limits over colimits of how (and when) they specialize to pullback-stability, and links to these discussions from universal colimit. Objections?

Re #24, I think is indeed the construction I was getting at in #21. Seems more relevant than plain commutativity in the non-connected case. But maybe #23 provides an alternative way to see it as an actual instance of plain commutativity if one insists on that (one can always add an initial object to $C$ as well, of course, and then just use the forgetful functor back to $C$ at the end). If I have not made a mistake, then #23 should also work in the $\infty$-case.

]]>FWIW I added the example I originally asked about.

]]>I think universal colimits is an example of distributivity of limits over colimits, for the functor $(a\to b\leftarrow c) \to Cat$ sending $a$ to the given indexing category and $b,c$ to the point.

]]>As long as $C$ has an initial object, maybe we can just formally add an initial object $\emptyset$ to $D$ and send $(\emptyset, \bullet \rightarrow \bullet \leftarrow \bullet)$ to $\emptyset \rightarrow Z \leftarrow Y$? Haven’t checked carefully…

]]>If anyone can formulate a general notion of “commutativity of limits and colimits” that includes pullback-stability of colimits and also all the other examples on the page, I’d love to hear it. Otherwise, I’d like to move the former to a different page. Having precise definitions and categorizing things appropriately helps to alleviate just this sort of confusion.

]]>Re #14: Thanks, Mike!

To me, though, it seems more like the definition at commutativity of limits and colimits should not necessarily be taken as the default one in the non-connected case. Take a coproduct, for instance. Using the fold arrows out of the coproduct, one recovers the canonical arrow we are discussing, and it seems to me that the latter one is actually the one that more ’correctly’ expresses a useful notion of commutativity of limits and colimits. As Urs put it, syntactically it seems equally justifiable as well.

Great that the warning has been added to the page, that is the most important thing I think.

]]>I just wanted to expand the list of examples, wherever the list is given. I was trying to find alternative hypotheses for a result of Todd’s (at this point, Lemma 1.5 here) and double checking before adding to the page on colimits/limits.

]]>Sounds hardly objectionable. Maybe I am missing what is under debate.

]]>I agree that a reader may appreciate finding something about it, but I think what they should find is a link to the place where it is properly discussed.

]]>While it’s not generally an example of the functorial commutaticity

$\underset{\underset{D}{\longrightarrow}}{\lim} \circ \underset{\underset{C}{\longleftarrow}}{\lim} \simeq \underset{\underset{C}{\longleftarrow}}{\lim} \circ \underset{\underset{D}{\longrightarrow}}{\lim} \;\colon\; \mathcal{C}^{C \times D} \to \mathcal{C}$the formula

$\underset{d \in D}{colim} (F(d) \times_Z Y) \stackrel{\simeq}{\longrightarrow} (\underset{d \in D}{colim} F(d)) \times_Z Y$is still syntactically an exchange of the order of taking limits and colimits and as such is something that a reader may appreciate finding discussed on this page.

So I vote for leaving the material there. But I added the warning: here

]]>Well, it should be. Just copy and paste the definition given and remove all the $\infty$s.

]]>I’m only interested in the case of 1-categories, which is not treated at universal colimit.

]]>@Richard: only if the colimit of a constant $D$-diagram is equal to the object that it’s constant at. For 1-colimits this is true if $D$ is connected; for $\infty$-colimits it’s only true if $D$ has a contractible nerve.

]]>Surely, if $E$ is $\bullet \rightarrow \bullet \leftarrow \bullet$, and $J : D \times E \rightarrow C$ sends $(d, \bullet \rightarrow \bullet \leftarrow \bullet)$ to $F(d) \rightarrow Z \leftarrow Y$, and does the obvious levelwise thing on arrows in $D$ (i.e. constant on $Z$ and $Y$), then the equation $colim^{D} \circ lim^{E}(J) = lim^{E} \circ \colim^{D}(J)$ expresses exactly that $\underset{d \in D}{colim} (F(d) \times_Z Y) \stackrel{\simeq}{\longrightarrow} (\underset{d \in D}{colim} F(d)) \times_Z Y$?

]]>Ah, I see your point. Not immediately obvious, if at all true.

]]>How *is* it an example? Commutativity of limits and colimits means $colim^D \circ lim^E = lim^E \circ colim^D$ as functors on a diagram category $C^{D\times E}$.

So how is it not an example?

]]>Yes, that’s what we’re talking about.

]]>I thought so.

]]>