--- a/text/intro.tex Sun Jul 04 13:15:03 2010 -0600
+++ b/text/intro.tex Sun Jul 04 23:32:48 2010 -0600
@@ -38,7 +38,7 @@
and establishes some of its properties.
There are many alternative definitions of $n$-categories, and part of our difficulty defining the blob complex is
simply explaining what we mean by an ``$n$-category with strong duality'' as one of the inputs.
-At first we entirely avoid this problem by introducing the notion of a `system of fields', and define the blob complex
+At first we entirely avoid this problem by introducing the notion of a ``system of fields", and define the blob complex
associated to an $n$-manifold and an $n$-dimensional system of fields.
We sketch the construction of a system of fields from a $1$-category or from a pivotal $2$-category.
@@ -50,7 +50,7 @@
We call these ``topological $n$-categories'', to differentiate them from previous versions.
Moreover, we find that we need analogous $A_\infty$ $n$-categories, and we define these as well following very similar axioms.
-The basic idea is that each potential definition of an $n$-category makes a choice about the `shape' of morphisms.
+The basic idea is that each potential definition of an $n$-category makes a choice about the ``shape" of morphisms.
We try to be as lax as possible: a topological $n$-category associates a vector space to every $B$ homeomorphic to the $n$-ball.
These vector spaces glue together associatively, and we require that there is an action of the homeomorphism groupoid.
For an $A_\infty$ $n$-category, we associate a chain complex instead of a vector space to each such $B$ and ask that the action of
@@ -61,10 +61,10 @@
In \S \ref{ss:ncat_fields} we explain how to construct a system of fields from a topological $n$-category
(using a colimit along cellulations of a manifold), and in \S \ref{sec:ainfblob} give an alternative definition
of the blob complex for an $A_\infty$ $n$-category on an $n$-manifold (analogously, using a homotopy colimit).
-Using these definitions, we show how to use the blob complex to `resolve' any topological $n$-category as an
+Using these definitions, we show how to use the blob complex to ``resolve" any topological $n$-category as an
$A_\infty$ $n$-category, and relate the first and second definitions of the blob complex.
We use the blob complex for $A_\infty$ $n$-categories to establish important properties of the blob complex (in both variants),
-in particular the `gluing formula' of Theorem \ref{thm:gluing} below.
+in particular the ``gluing formula" of Theorem \ref{thm:gluing} below.
The relationship between all these ideas is sketched in Figure \ref{fig:outline}.
@@ -115,7 +115,7 @@
thought of as a topological $n$-category, in terms of the topology of $M$.
Section \S \ref{sec:deligne} states (and in a later edition of this paper, hopefully proves)
a higher dimensional generalization of the Deligne conjecture (that the little discs operad acts on Hochschild cohomology) in terms of the blob complex.
-The appendixes prove technical results about $\CH{M}$ and the `small blob complex',
+The appendixes prove technical results about $\CH{M}$ and the ``small blob complex",
and make connections between our definitions of $n$-categories and familiar definitions for $n=1$ and $n=2$,
as well as relating the $n=1$ case of our $A_\infty$ $n$-categories with usual $A_\infty$ algebras.
@@ -436,7 +436,7 @@
The paper ``Skein homology'' \cite{MR1624157} has similar motivations, and it may be
interesting to investigate if there is a connection with the material here.
-Many results in Hochschild homology can be understood `topologically' via the blob complex.
+Many results in Hochschild homology can be understood ``topologically" via the blob complex.
For example, we expect that the shuffle product on the Hochschild homology of a commutative algebra $A$
(see \cite[\S 4.2]{MR1600246}) simply corresponds to the gluing operation on $\bc_*(S^1 \times [0,1], A)$,
but haven't investigated the details.