# HG changeset patch
# User Kevin Walker <kevin@canyon23.net>
# Date 1323312050 28800
# Node ID d85867a9954592dad780e82a5ef14b2f42236749
# Parent  303082e628ce15824caa93fdbc236a2e8f6f9924
done with appendic revision (except for figures)

diff -r 303082e628ce -r d85867a99545 text/appendixes/comparing_defs.tex
--- a/text/appendixes/comparing_defs.tex	Wed Dec 07 12:55:57 2011 -0800
+++ b/text/appendixes/comparing_defs.tex	Wed Dec 07 18:40:50 2011 -0800
@@ -580,11 +580,39 @@
 as in Figure \nn{like triangle 4.a, but more general; use three colors as in that fig}.
 This is just a reparameterization of the pinched product $(a\bullet b\bullet c)\times I$ of $\cC$.
 
+Let $x,y,z$ be objects of $D$ and let $a:x\to y$ and $b:y\to z$ be 1-morphisms of $D$.
+We have already defined above 
+structure maps $u:a\bullet \id_y\to a$ and $v:\id_y\bullet b\to b$, as well as an associator
+$\alpha: (a\bullet \id_y)\bullet b\to a\bullet(\id_y\bullet b)$, as shown in
+Figure \nn{triangle 4.b, 4.c and 4.a; note change from ``assoc" to ``$\alpha$"}.
+(See also Figures \ref{fzo2} and \nn{previous associator fig}.)
+We now show that $D$ satisfies the triangle axiom, which states that $u\bullet\id_b$ 
+is equal to the composition of $\alpha$ and $\id_a\bullet v$.
+(Both are 2-morphisms from $(a\bullet \id_y)\bullet b$ to $a\bullet b$.)
+
+The horizontal compositions $u\bullet\id_b$ and $\id_a\bullet v$ are shown in Figure \nn{triangle 4.d and 4.e}
+(see also Figure \ref{fzo5}).
+The vertical composition of $\alpha$ and $\id_a\bullet v$ is shown in Figure \nn{triangle 4.f}.
+Figure \nn{triangle 5} shows that we can add a collar to $u\bullet\id_b$ so that the result differs from
+Figure \nn{ref to 4.f above} by an isotopy rel boundary.
+Note that here we have used in an essential way the associativity of product morphisms (Axiom \ref{axiom:product}.3) 
+as well as compatibility of product morphisms with fiber-preserving maps (Axiom \ref{axiom:product}.1).
+
+
+
+
 
 
 %\nn{need to find a list of axioms for pivotal 2-cats to check}
 
 
+
+
+
+
+
+
+
 \subsection{\texorpdfstring{$A_\infty$}{A-infinity} 1-categories}
 \label{sec:comparing-A-infty}
 In this section, we make contact between the usual definition of an $A_\infty$ category