author | Scott Morrison <scott@tqft.net> |
Thu, 30 Jun 2011 09:12:32 -0700 | |
changeset 844 | 002b4838cc34 |
parent 842 | 3e6c66df4df1 (diff) |
parent 843 | 6236bf927e60 (current diff) |
child 846 | 40b2a6d891c6 |
--- a/blob to-do Thu Jun 30 08:14:53 2011 -0700 +++ b/blob to-do Thu Jun 30 09:12:32 2011 -0700 @@ -1,7 +1,7 @@ ====== big ====== -* reconcile splittability with A-inf/familaies of maps examples +* reconcile splittability with A-inf/families of maps examples * better discussion of systems of fields from disk-like n-cats ** splittability axiom for fields