--- a/blob to-do Sun Jul 10 14:43:19 2011 -0600
+++ b/blob to-do Sun Jul 10 14:52:33 2011 -0600
@@ -2,6 +2,7 @@
====== big ======
* better discussion of systems of fields from disk-like n-cats
+ (Is this done by now?)
* need to fix fam-o-homeo argument per discussion with Rob
--- a/text/ncat.tex Sun Jul 10 14:43:19 2011 -0600
+++ b/text/ncat.tex Sun Jul 10 14:52:33 2011 -0600
@@ -985,6 +985,8 @@
Conversely, given a disk-like $n$-category we can construct a system of fields via
a colimit construction; see \S \ref{ss:ncat_fields} below.
+\medskip
+
In the $n$-category axioms above we have intermingled data and properties for expository reasons.
Here's a summary of the definition which segregates the data from the properties.