Wed, 23 Mar 2011 15:52:36 -0700 | Scott Morrison | some daggers | file | diff | annotate |
Wed, 30 Mar 2011 07:16:14 -0700 | Kevin Walker | fix definition of refinement of ball decomp (intermediate manifolds are disj unions of balls) | file | diff | annotate |
Thu, 24 Mar 2011 10:06:09 -0700 | Kevin Walker | added 2nd parameter to the two bordism examples | file | diff | annotate |
Wed, 23 Mar 2011 15:33:48 -0700 | Scott Morrison | neat embedding for bordism category | file | diff | annotate |
Wed, 23 Mar 2011 15:30:38 -0700 | Scott Morrison | Automated merge with http://tqft.net/hg/blob | file | diff | annotate |
Wed, 23 Mar 2011 15:30:16 -0700 | Scott Morrison | slightly more detail on lack of surjectivity | file | diff | annotate |
Wed, 23 Mar 2011 15:29:31 -0700 | Kevin Walker | added two more transverse symbols | file | diff | annotate |