--- a/blob to-do	Wed Jun 01 15:04:31 2011 -0600
+++ b/blob to-do	Wed Jun 01 15:17:39 2011 -0600
@@ -14,11 +14,6 @@
 
 * ** new material in colimit section needs a proof-read
 
-* In the appendix on n=1, explain more about orientations. Also say
-what happens on objects for spin manifolds: the unique point has an
-automorphism, which translates into a involution on objects. Mention
-super-stuff. [partly done]
-
 
 * should probably allow product things \pi^*(b) to be defined only when b is appropriately splittable
 

--- a/blob_changes_v3	Wed Jun 01 15:04:31 2011 -0600
+++ b/blob_changes_v3	Wed Jun 01 15:17:39 2011 -0600
@@ -24,6 +24,7 @@
 - reduced intermingling for the various n-cat definitions (plain, enriched, A-infinity)
 - strengthened n-cat isotopy invariance axiom to allow for homeomorphisms which act trivially elements on the restriction of an n-morphism to the boundary of the ball
 - more details on axioms for enriched n-cats
+- added details to the construction of traditional 1-categories from disklike 1-categories (Appendix C.1)
 - 
 
 

--- a/text/appendixes/comparing_defs.tex	Wed Jun 01 15:04:31 2011 -0600
+++ b/text/appendixes/comparing_defs.tex	Wed Jun 01 15:17:39 2011 -0600
@@ -70,6 +70,10 @@
 the nontrivial spin homeomorphism from $B^1$ to itself which covers the identity
 gives an order 2 automorphism of $c(\cX)^1$.
 There is a similar involution on the objects $c(\cX)^0$.
+In the case where there is only one object and we are enriching over complex vector spaces, this
+is just a super algebra.
+The even elements are the $+1$ eigenspace of the involution on $c(\cX)^1$, 
+and the odd elements are the $-1$ eigenspace of the involution.
 
 For 1-categories based on $\text{Pin}_-$ balls,
 we have an order 4 antiautomorphism of $c(\cX)^1$.