# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1290533325 28800
# Node ID 1cfa95e6b8bbef692efce40815f90185a0982bf1
# Parent  001fc6183d1979fedcdd710c562f7a19b7eb6d75# Parent  ee1c43e7785b7b0153318b1ea9f168d181a69301
Automated merge with https://tqft.net/hg/blob/

diff -r 001fc6183d19 -r 1cfa95e6b8bb pnas/pnas.tex
--- a/pnas/pnas.tex	Mon Nov 22 19:42:06 2010 -0700
+++ b/pnas/pnas.tex	Tue Nov 23 09:28:45 2010 -0800
@@ -299,7 +299,7 @@
 Thus we can have the simplicity of strict associativity in exchange for more morphisms.
 We wish to imitate this strategy in higher categories.
 Because we are mainly interested in the case of strong duality, we replace the intervals $[0,r]$ not with
-a product of $k$ intervals (c.f. \cite{0909.2212}) but rather with any $k$-ball, that is, 
+a product of $k$ intervals (c.f. \cite{ulrike-tillmann-2008,0909.2212}) but rather with any $k$-ball, that is, 
 any $k$-manifold which is homeomorphic
 to the standard $k$-ball $B^k$.