Fri, 06 May 2011 15:23:26 -0700 |
Kevin Walker |
added more motivation for pinched products
|
file |
diff |
annotate
|
Fri, 06 May 2011 15:00:46 -0700 |
Kevin Walker |
more on piched product union axiom
|
file |
diff |
annotate
|
Fri, 06 May 2011 14:56:13 -0700 |
Kevin Walker |
fixed statement of compatibility of product morphisms with decompositions (might still need some work)
|
file |
diff |
annotate
|
Fri, 06 May 2011 14:22:35 -0700 |
Kevin Walker |
added to examples of unions of pinched products (fig)
|
file |
diff |
annotate
|
Fri, 06 May 2011 14:11:43 -0700 |
Kevin Walker |
added brief def of monoidal n-cats; killed some old invisible comments
|
file |
diff |
annotate
|
Wed, 13 Apr 2011 12:14:18 -0700 |
Scott Morrison |
more splittable symbols in the module section, and minor typos from April 12
|
file |
diff |
annotate
|
Thu, 31 Mar 2011 14:13:58 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob
|
file |
diff |
annotate
|
Tue, 29 Mar 2011 13:30:35 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob
|
file |
diff |
annotate
|
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
|