--- a/blob to-do	Sun Jun 19 15:31:28 2011 -0600
+++ b/blob to-do	Sun Jun 19 17:07:48 2011 -0600
@@ -1,7 +1,5 @@
 
-* lemma [inject  6.3.5?] assumes more splittablity than the axioms imply (?)
-
-* need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s
+* need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s, add a v-cone axiom
 
 
 * Boundary of colimit -- not so easy to see!

Binary file diagrams/tempkw/vcone.pdf has changed

--- a/text/ncat.tex	Sun Jun 19 15:31:28 2011 -0600
+++ b/text/ncat.tex	Sun Jun 19 17:07:48 2011 -0600
@@ -669,7 +669,11 @@
 Let $\Cone(P)$ denote $P$ adjoined an additional object $v$ (the vertex of the cone) with $p\le v$ for all objects $p$ of $P$.
 Finally, let $\vcone(P)$ denote $P\times I \cup \Cone(P)$, where we identify $P\times \{0\}$ with the base of the cone.
 We call $P\times \{1\}$ the base of $\vcone(P)$.
-(See Figure \nn{need figure}.)
+(See Figure \ref{vcone-fig}.)
+\begin{figure}[t]
+$$\mathfig{.65}{tempkw/vcone}$$
+\caption{(a) $P$, (b) $P\times I$, (c) $\Cone(P)$, (d) $\vcone(P)$}\label{vcone-fig}
+\end{figure}
 
 \nn{maybe call this ``splittings" instead of ``V-cones"?}