equal
deleted
inserted
replaced
584 \caption{Part of the proof that the four different horizontal compositions of 2-morphisms are equal.} |
584 \caption{Part of the proof that the four different horizontal compositions of 2-morphisms are equal.} |
585 \label{fig:horizontal-compositions-equal} |
585 \label{fig:horizontal-compositions-equal} |
586 \end{figure} |
586 \end{figure} |
587 |
587 |
588 Given 1-morphisms $a$, $b$ and $c$ of $D$, we define the associator from $(a\bullet b)\bullet c$ to $a\bullet(b\bullet c)$ |
588 Given 1-morphisms $a$, $b$ and $c$ of $D$, we define the associator from $(a\bullet b)\bullet c$ to $a\bullet(b\bullet c)$ |
589 as in Figure \nn{like triangle 4.a, but more general; use three colors as in that fig}. |
589 as in Figure \ref{fig:associator}. |
590 This is just a reparameterization of the pinched product $(a\bullet b\bullet c)\times I$ of $\cC$. |
590 This is just a reparameterization of the pinched product $(a\bullet b\bullet c)\times I$ of $\cC$. |
591 \begin{figure}[t] |
591 \begin{figure}[t] |
592 $$ |
592 $$ |
593 \mathfig{0.4}{triangle/triangle4a} |
593 \mathfig{0.4}{triangle/triangle4a} |
594 $$ |
594 $$ |