--- a/text/ncat.tex	Sun Jun 06 09:49:57 2010 -0700
+++ b/text/ncat.tex	Sun Jun 06 20:56:47 2010 +0200
@@ -334,7 +334,11 @@
 
 We will need to strengthen the above preliminary version of the axiom to allow
 for products which are ``pinched" in various ways along their boundary.
-(See Figure xxxx.)
+(See Figure \ref{pinched_prods}.)
+\begin{figure}[t]
+$$\mathfig{.8}{tempkw/pinched_prods}$$
+\caption{Examples of pinched products}\label{pinched_prods}
+\end{figure}
 (The need for a strengthened version will become apparent in appendix \ref{sec:comparing-defs}
 where we construct a traditional category from a topological category.)
 Define a {\it pinched product} to be a map
@@ -359,7 +363,11 @@
 $\pi:E'\to \pi(E')$ is again a pinched product.
 A {union} of pinched products is a decomposition $E = \cup_i E_i$
 such that each $E_i\sub E$ is a sub pinched product.
-(See Figure xxxx.)
+(See Figure \ref{pinched_prod_unions}.)
+\begin{figure}[t]
+$$\mathfig{.8}{tempkw/pinched_prod_unions}$$
+\caption{Unions of pinched products}\label{pinched_prod_unions}
+\end{figure}
 
 The product axiom will give a map $\pi^*:\cC(X)\to \cC(E)$ for each pinched product
 $\pi:E\to X$.