9

Let $A,B,C$ topological spaces and then $D$ the pushout of a diagram

$$B\stackrel{b}{\leftarrow}A\stackrel{c}{\rightarrow}C.$$

It seems logical to me that for a fifth topological space $E$ the pushout of

$$B\times E\stackrel{b\times\operatorname{id}_{E}}{\leftarrow}A\times E\stackrel{c\times\operatorname{id}_{E}}{\rightarrow}C\times E$$

is homeomorphic to the product $D\times E$.

However, several tries to come up with a simple proof ended at some point where there was no obvious next step, so to say. This makes me think that this result doesn't hold in a general setting like the above.

On the other hand, I don't see, why something like this should not work even in more general settings like other categories.

Can somebody point me in the right direction here? In which (preferably very general) situation does the above hold and how would you go about giving a simple, abstract proof of it?

magma
  • 4,341
  • 7
    You are asking when the functor $(-) \times D$ preserves pushouts. One situation where this happens is when $(-) \times D$ has a right adjoint: this happens, for example, in $\textbf{Set}$, or more generally in any cartesian closed category. Unfortunately, $\textbf{Top}$ is not such a category. – Zhen Lin Nov 19 '12 at 14:26
  • Interesting; can you give a counterexample? I'd like to see why/how this fails. – Julian Kniephoff Nov 19 '12 at 16:49
  • 1
    Any non-distributive lattice (e.g. the lattice of vector subspaces of a non-trivial vector space) will give a counterexample. – Zhen Lin Nov 19 '12 at 17:50
  • Actually, I found it rather to difficult to come up with a counterexample - I believe this holds in $\mathsf{Set}$, $\mathsf{Vec}$, $\mathsf{Top}$, $\mathsf{Grp}$ and $\mathsf{Ab}$ (at least, all my attempts to come up with counterexamples in these categories have failed). ... – Smiley1000 May 02 '24 at 17:40
  • ... However, Zhen gives a good idea: We take the category of vector subspaces of $\mathbb{R}^2$ with inclusions as morphisms. Then the coproduct is the sum and the product is the intersection. Now the pushout of $\langle \begin{pmatrix} 1 \ 0 \ \end{pmatrix} \rangle \leftarrow { 0 } \rightarrow \langle \begin{pmatrix} 0 \ 1 \ \end{pmatrix} \rangle$ is $\mathbb{R}^2$ and we have $\langle \begin{pmatrix} 1 \ 1 \ \end{pmatrix} \rangle \times \mathbb{R}^2 = \langle \begin{pmatrix} 1 \ 1 \ \end{pmatrix} \rangle$ ... – Smiley1000 May 02 '24 at 17:43
  • ... , but the pushout of $\langle \begin{pmatrix} 1 \ 1 \ \end{pmatrix} \rangle \times \langle \begin{pmatrix} 1 \ 0 \ \end{pmatrix} \rangle \leftarrow \langle \begin{pmatrix} 1 \ 1 \ \end{pmatrix} \rangle \times { 0 } \rightarrow \langle \begin{pmatrix} 1 \ 1 \ \end{pmatrix} \rangle \times \langle \begin{pmatrix} 0 \ 1 \ \end{pmatrix} \rangle$, which is just ${ 0 } \leftarrow { 0 } \rightarrow { 0 }$, is just ${ 0 }$. – Smiley1000 May 02 '24 at 17:43

2 Answers2

8

The body question doesn't seem to quite match the title (don't you want to take the product with $E$?) so I am answering the title question. If $A$ is empty then a pushout is just a coproduct, so a special case of your question (in categories with an initial object) is asking whether products distribute over coproducts. Categories with this property are called distributive. As Zhen notes in the comments, distributive categories include cartesian closed categories, where taking the product with a fixed element has a right adjoint and therefore preserves arbitrary colimits (including pushouts).

However, many familiar categories fail to be distributive; take, for example, $\text{Ab}$. This is straightforward to verify for finite abelian groups.

It is also known that $\text{Top}$ is not cartesian closed. However, it is in some sense not far from being cartesian closed; the full subcategory of compactly generated Hausdorff spaces (and it seems one can weaken the second condition even further) is cartesian closed.

(By the way, "pushouts commute with products" is not a good name for this property; the meaning of the phrase "X commutes with Y" ought to be invariant under switching X and Y, but the actual property you want doesn't satisfy this. "Products preserve pushouts" might be better.)

Qiaochu Yuan
  • 468,795
  • Thanks. You're right, I confused $D$ with $E$. It should be correct now. I also changed the title. – Julian Kniephoff Nov 20 '12 at 21:07
  • 1
    I don't think there is any counterexample in $\mathsf{Ab}$ - Of course the pushout of $A \leftarrow {e} \rightarrow B$ is just $A \oplus B$, but the pushout of $A \oplus C \leftarrow C \rightarrow B \oplus C$ is really $A \oplus B \oplus C$. So the statement "If $A$ is empty then a pushout is just a coproduct, so a special case of your question (in categories with an initial object) is asking whether products distribute over coproducts." is actually wrong. – Smiley1000 May 02 '24 at 17:32
1

There is an explicit counterexample of this statement in $\mathrm{Top}$, but the statement is true in the categories $\mathrm{Top}_\mathrm{conv}$ of convenient topological spaces, $\mathrm{Set}$, $\mathrm{Ab}$, $\mathrm{Grp}$, and $\mathrm{Vec}_k$ of vector spaces over a field $k$ (and more generally in the category $\mathrm{Mod}_R$ of $R$-modules over a ring $R$).

First for the proofs that the statement holds in the latter categories. For $\mathrm{Top}_\mathrm{conv}$ and $\mathrm{Set}$ (and more generally any cartesian closed category), it holds because these categories are cartesian closed, so $-\times E$ preserves colimits because it is a left adjoint. For $\mathrm{Ab}$ and $\mathrm{Mod}_R$ (and any additive category), this follows as these categories have biproducts: products and coproducts agree via the canonical map. Now suddenly the question whether $-\times E$ preserves pushouts becomes the question whether $-\sqcup E$ preserves pushouts, and this is true as colimits commute with colimits. Finally, for $\mathrm{Grp}$ we need to work a little bit. The category $\mathrm{Grpd}$ of groupoids is cartesian closed, and the inclusion $\mathrm{Grp}\to\mathrm{Grpd}$ of groups as one-object groupoids preserves pushouts and products. Namely, $\mathrm{Grp}$ is embedded as full subcategory, so any limit or colimit of one-object groupoids that results in a one-object groupoid also computes that limit or colimit in groups. The functor $\mathrm{ob}\colon\mathrm{Grpd}\to\mathrm{Set}$ that takes the set of objects of a groupoid has both adjoints (exercise), so the set of objects of a limit or colimit of groupoids is computed as the limit or colimit of the underlying sets of objects of the groupoids involved. The product of singleton sets or the pushout of a diagram of singleton sets both result in another singleton set, and this proves that $\mathrm{Grp}\to\mathrm{Grpd}$ preserves products and pushouts (more generally, this argument proves it preserves all limits and all connected colimits). Cartesian closedness of $\mathrm{Grpd}$ therefore implies that $-\times E\colon\mathrm{Grp}\to\mathrm{Grp}$ preserves pushouts, and more generally all connected colimits.

Finally, for the counterexample in the category $\mathrm{Top}$ of all topological spaces, we follow this answer, and define $i\colon\mathbb{Z}\to\mathbb{R},n\mapsto n$ and $j\colon\mathbb{Z}\to\mathbb{R},n\mapsto n+1$. Then Oscar Cunningham shows in the linked answer that the natural map $$\mathrm{coeq}(i\times\mathbb{Q},j\times\mathbb{Q})\to\mathrm{coeq}(i,j)\times\mathbb{Q}$$ is not a homeomorphism. We have a pushout square $$\require{AMScd} \begin{CD} \mathbb{Z}\sqcup\mathbb{R}@>{(i,\mathrm{id})}>>\mathbb{R}\\ @V{(j,\mathrm{id})}VV @VVV\\ \mathbb{R} @>>> \mathrm{coeq}(i,j) \end{CD} $$ and another pushout square $$\require{AMScd} \begin{CD} \mathbb{Z}\times\mathbb{Q}\sqcup\mathbb{R}\times\mathbb{Q}@>{(i\times\mathbb{Q},\mathrm{id})}>>\mathbb{R}\times\mathbb{Q}\\ @V{(j\times\mathbb{Q},\mathrm{id})}VV @VVV\\ \mathbb{R}\times\mathbb{Q} @>>> \mathrm{coeq}(i\times\mathbb{Q},j\times\mathbb{Q}) \end{CD} $$ Since $\mathbb{Z}\times\mathbb{Q}\sqcup\mathbb{R}\times\mathbb{Q}\cong(\mathbb{Z}\sqcup\mathbb{R})\times\mathbb{Q}$, we find a pushout square $$\require{AMScd} \begin{CD} (\mathbb{Z}\sqcup\mathbb{R})\times\mathbb{Q}@>{(i,\mathrm{id})\times\mathbb{Q}}>>\mathbb{R}\times\mathbb{Q}\\ @V{(j,\mathrm{id})\times\mathbb{Q}}VV @VVV\\ \mathbb{R}\times\mathbb{Q} @>>> \mathrm{coeq}(i\times\mathbb{Q},j\times\mathbb{Q}) \end{CD} $$ Because of the above non-homeomorphism, the natural diagram $$\require{AMScd} \begin{CD} (\mathbb{Z}\sqcup\mathbb{R})\times\mathbb{Q}@>{(i,\mathrm{id})\times\mathbb{Q}}>>\mathbb{R}\times\mathbb{Q}\\ @V{(j,\mathrm{id})\times\mathbb{Q}}VV @VVV\\ \mathbb{R}\times\mathbb{Q} @>>> \mathrm{coeq}(i,j)\times\mathbb{Q} \end{CD} $$ is not a pushout square, and this the counterexample we were after.

Daniël Apol
  • 8,015
  • What exactly is a convenient topological space? – Smiley1000 May 06 '24 at 10:00
  • "The functor $\mathrm{ob}\colon\mathrm{Grp}\to\mathrm{Set}$ that takes the set of objects of a groupoid has both adjoints (exercise)" I think you mean the functor $\mathrm{ob}\colon\mathrm{Grpd}\to\mathrm{Set}$ – Smiley1000 May 06 '24 at 10:13
  • Can you give a reference for the fact that $\mathsf{Grpd}$ is cartesian closed? – Smiley1000 May 06 '24 at 10:13
  • 1
    @Smiley1000 Thanks for catching the typo. The category of all topological spaces is not cartesian closed, which we would very much like it to be in algebraic topology. The solution is to throw out some spaces from $\mathrm{Top}$ that we don't use in algebraic topology, as to make the remaining spaces form a category that is cartesian closed. There are multiple choices for the collection of spaces that you can throw out and any resulting category can be called a convenient category of topological spaces, or a category of convenient topological spaces. – Daniël Apol May 06 '24 at 20:58
  • 1
    A common choice is to work with the category of compactly generated weak Hausdorff spaces, and often when an algebraic topologist, homotopy theorist or category theorist writes $\mathrm{Top}$, they mean actually a convenient category of topological spaces. – Daniël Apol May 06 '24 at 20:59
  • 1
    I don't know a reference for the fact that $\mathrm{Grpd}$ is cartesian closed, as it is sort of folklore. You can derive it from the fact that the category $\mathrm{Cat}$ of small categories is cartesian closed (with functor categories as internal homs). This definitely is a good exercise if you have not seen it before, not in the least because it is conceptually very important. The internal hom in $\mathrm{Grpd}$ is also given by functor categories. – Daniël Apol May 06 '24 at 21:02
  • 1
    The functor category between two groupoids is again a groupoid, and the product in $\mathrm{Cat}$ of two groupoids also is their product in $\mathrm{Grpd}$. Since $\mathrm{Grpd}$ is a full subcategory of $\mathrm{Cat}$, the adjunction $-\times G\dashv\mathrm{Fun}(G,-)$ in $\mathrm{Cat}$ for a groupoid $G$ restricts to an adjunction $-\times G\dashv\mathrm{Fun}(G,-)$ in $\mathrm{Grpd}$, and with this we are done. – Daniël Apol May 06 '24 at 21:03
  • I'm not sure whether the statement that "$-\sqcup E$ preserves pushouts because colimits commute with colimits" is sufficiently precise. A similar reasoning may make us believe that $-\sqcup E$ preserves coproducts, but this is not really the case. – Jackozee Hakkiuz Mar 15 '25 at 08:51
  • It's true that you additionally use the fact that the pushout of a constant diagram on $E$ is given by $E$ itself. This holds for any connected diagram shape, but not for the disconnected diagram shape corresponding to coproducts. – Daniël Apol Mar 15 '25 at 12:06