# HG changeset patch
# User Kevin Walker <kevin@canyon23.net>
# Date 1288703923 25200
# Node ID 0510346848edb8dd496801f135349214b97d905a
# Parent  e2996d7b4e6c7e480b382b0564d96292312b6bdc
restore and complete the fragment

diff -r e2996d7b4e6c -r 0510346848ed pnas/pnas.tex
--- a/pnas/pnas.tex	Tue Nov 02 21:22:53 2010 +0900
+++ b/pnas/pnas.tex	Tue Nov 02 06:18:43 2010 -0700
@@ -223,6 +223,10 @@
 homeomorphisms to the category of sets and bijections.
 \end{axiom}
 
+Note that the functoriality in the above axiom allows us to operate via
+homeomorphisms which are not the identity on the boundary of the $k$-ball.
+The action of these homeomorphisms gives the ``strong duality" structure.
+
 Next we consider domains and ranges of $k$-morphisms.
 Because we assume strong duality, it doesn't make much sense to subdivide the boundary of a morphism
 into domain and range --- the duality operations can convert domain to range and vice-versa.