# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1301606038 25200
# Node ID da7ac7d30f306c5742836cac1dc8fe8946ce2b24
# Parent  db9d3a27647a77fa18cf2f573bb29cdde6dfefb1# Parent  59c29ecf2f66d4a37ebd44483c5314d2a4b52671
Automated merge with https://tqft.net/hg/blob

diff -r db9d3a27647a -r da7ac7d30f30 text/appendixes/comparing_defs.tex
--- a/text/appendixes/comparing_defs.tex	Wed Mar 30 08:03:27 2011 -0700
+++ b/text/appendixes/comparing_defs.tex	Thu Mar 31 14:13:58 2011 -0700
@@ -48,12 +48,12 @@
 The base case is for oriented manifolds, where we obtain no extra algebraic data.
 
 For 1-categories based on unoriented manifolds, 
-there is a map $*:c(\cX)^1\to c(\cX)^1$
+there is a map $\dagger:c(\cX)^1\to c(\cX)^1$
 coming from $\cX$ applied to an orientation-reversing homeomorphism (unique up to isotopy) 
 from $B^1$ to itself.
 Topological properties of this homeomorphism imply that 
-$a^{**} = a$ (* is order 2), * reverses domain and range, and $(ab)^* = b^*a^*$
-(* is an anti-automorphism).
+$a^{\dagger\dagger} = a$ ($\dagger$ is order 2), $\dagger$ reverses domain and range, and $(ab)^\dagger = b^\dagger a^\dagger$
+($\dagger$ is an anti-automorphism).
 
 For 1-categories based on Spin manifolds,
 the the nontrivial spin homeomorphism from $B^1$ to itself which covers the identity
diff -r db9d3a27647a -r da7ac7d30f30 text/ncat.tex
--- a/text/ncat.tex	Wed Mar 30 08:03:27 2011 -0700
+++ b/text/ncat.tex	Thu Mar 31 14:13:58 2011 -0700
@@ -37,7 +37,7 @@
 
 Strictly speaking, before we can state the axioms for $k$-morphisms we need all the axioms 
 for $k{-}1$-morphisms.
-So readers who prefer things to be presented in a strictly logical order should read this subsection $n$ times, first imagining that $k=0$, then that $k=1$, and so on until they reach $k=n$.
+Readers who prefer things to be presented in a strictly logical order should read this subsection $n+1$ times, first setting $k=0$, then $k=1$, and so on until they reach $k=n$.
 
 \medskip
 
@@ -834,6 +834,9 @@
 The case $n=d$ captures the $n$-categorical nature of bordisms.
 The case $n > 2d$ captures the full symmetric monoidal $n$-category structure.
 \end{example}
+\begin{remark}
+Working with the smooth bordism category would require careful attention to either collars, corners or halos.
+\end{remark}
 
 %\nn{the next example might be an unnecessary distraction.  consider deleting it.}