equal
deleted
inserted
replaced
493 \draw[green!50!brown] (\x,-2) -- (\x,2); |
493 \draw[green!50!brown] (\x,-2) -- (\x,2); |
494 } |
494 } |
495 \end{scope} |
495 \end{scope} |
496 \end{tikzpicture} |
496 \end{tikzpicture} |
497 $$ |
497 $$ |
498 \caption{Five examples of unions of pinched products}\label{pinched_prod_unions} |
498 \caption{Six examples of unions of pinched products}\label{pinched_prod_unions} |
499 \end{figure} |
499 \end{figure} |
500 |
500 |
501 The product axiom will give a map $\pi^*:\cC(X)\to \cC(E)$ for each pinched product |
501 The product axiom will give a map $\pi^*:\cC(X)\to \cC(E)$ for each pinched product |
502 $\pi:E\to X$. |
502 $\pi:E\to X$. |
503 Morphisms in the image of $\pi^*$ will be called product morphisms. |
503 Morphisms in the image of $\pi^*$ will be called product morphisms. |