diff -r 32e956a73f14 -r 2c9f09286beb text/ncat.tex --- a/text/ncat.tex Fri May 06 15:00:46 2011 -0700 +++ b/text/ncat.tex Fri May 06 15:23:26 2011 -0700 @@ -397,8 +397,12 @@ $$ \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 disk-like category.) +The need for a strengthened version will become apparent in Appendix \ref{sec:comparing-defs} +where we construct a traditional category from a disk-like category. +For example, ``half-pinched" products of 1-balls are used to construct weak identities for 1-morphisms +in 2-categories. +We also need fully-pinched products to define collar maps below (see Figure \ref{glue-collar}). + Define a {\it pinched product} to be a map \[ \pi: E\to X