changeset 818 | fb9fc18d2a52 |
parent 805 | 0c681fbb7b85 |
child 823 | 719931014d3a |
--- a/blob_changes_v3 Fri Jun 24 06:39:25 2011 -0700 +++ b/blob_changes_v3 Fri Jun 24 21:41:48 2011 -0700 @@ -30,8 +30,4 @@ - added n-cat axiom for existence of splittings - added transversality requirement to product morphism axiom - added remarks on Morita equivalence for n-categories - - - -INCOMPLETE: - rewrote definition of colimit (in "From Balls to Manifolds" subsection) to allow for more general decompositions; also added more details