trying out a semicolon list
authorScott Morrison <scott@tqft.net>
Mon, 10 Jan 2011 19:27:21 -0800
changeset 689 5ab2b1b2c9db
parent 688 0cbef0258d72
child 690 700026bd2470
trying out a semicolon list
text/ncat.tex
--- a/text/ncat.tex	Mon Jan 10 15:25:53 2011 -0800
+++ b/text/ncat.tex	Mon Jan 10 19:27:21 2011 -0800
@@ -678,12 +678,12 @@
 
 An $n$-category consists of the following data:
 \begin{itemize}
-\item Functors $\cC_k$ from $k$-balls to sets, $0\le k\le n$ (Axiom \ref{axiom:morphisms}).
-\item Boundary natural transformations $\cC_k \to \cl{\cC}_{k-1} \circ \bd$ (Axiom \ref{nca-boundary}).
-\item Composition/gluing maps $\gl_Y : \cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E \to \cC(B_1\cup_Y B_2)_E$ (Axiom \ref{axiom:composition}).
-\item Product/identity maps $\pi^*:\cC(X)\to \cC(E)$ for each pinched product $\pi:E\to X$ (Axiom \ref{axiom:product}).
-\item If enriching in an auxiliary category, additional structure on $\cC_n(X; c)$.
-\item In the $A_\infty$ case, an action of $C_*(\Homeo_\bd(X))$, and similarly for families of collar maps (Axiom \ref{axiom:families}).
+\item functors $\cC_k$ from $k$-balls to sets, $0\le k\le n$ (Axiom \ref{axiom:morphisms});
+\item boundary natural transformations $\cC_k \to \cl{\cC}_{k-1} \circ \bd$ (Axiom \ref{nca-boundary});
+\item ``composition'' or ``gluing'' maps $\gl_Y : \cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E \to \cC(B_1\cup_Y B_2)_E$ (Axiom \ref{axiom:composition});
+\item ``product'' or ``identity'' maps $\pi^*:\cC(X)\to \cC(E)$ for each pinched product $\pi:E\to X$ (Axiom \ref{axiom:product});
+\item if enriching in an auxiliary category, additional structure on $\cC_n(X; c)$;
+\item in the $A_\infty$ case, an action of $C_*(\Homeo_\bd(X))$, and similarly for families of collar maps (Axiom \ref{axiom:families}).
 \end{itemize}
 The above data must satisfy the following conditions:
 \begin{itemize}