Kevin Walker <kevin@canyon23.net> [Thu, 10 Jun 2010 22:00:06 +0200] rev 358
CH_* action -- gluing compatibility
Kevin Walker <kevin@canyon23.net> [Wed, 09 Jun 2010 13:21:55 +0200] rev 357
associativity for CH_* action
Kevin Walker <kevin@canyon23.net> [Mon, 07 Jun 2010 18:14:11 +0200] rev 356
remark about EB_n-algebras from n-cats
Kevin Walker <kevin@canyon23.net> [Mon, 07 Jun 2010 13:43:38 +0200] rev 355
proof of mapping space thm
Kevin Walker <kevin@canyon23.net> [Mon, 07 Jun 2010 06:01:39 +0200] rev 354
should read it over at least once before committing
Kevin Walker <kevin@canyon23.net> [Mon, 07 Jun 2010 05:58:52 +0200] rev 353
placeholder for proof of Deligne thing
Kevin Walker <kevin@canyon23.net> [Sun, 06 Jun 2010 20:56:47 +0200] rev 352
added pinched product figs
Scott Morrison <scott@tqft.net> [Sun, 06 Jun 2010 09:49:57 -0700] rev 351
Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Sun, 06 Jun 2010 09:49:06 -0700] rev 350
build
Kevin Walker <kevin@canyon23.net> [Sat, 05 Jun 2010 19:44:25 -0700] rev 349
minor
Kevin Walker <kevin@canyon23.net> [Sat, 05 Jun 2010 19:26:59 -0700] rev 348
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net> [Sat, 05 Jun 2010 13:38:57 -0700] rev 347
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net> [Sat, 05 Jun 2010 08:25:14 -0700] rev 346
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net> [Fri, 04 Jun 2010 20:43:14 -0700] rev 345
breaking long lines
Kevin Walker <kevin@canyon23.net> [Fri, 04 Jun 2010 20:37:38 -0700] rev 344
finished product axiom
Kevin Walker <kevin@canyon23.net> [Fri, 04 Jun 2010 18:26:04 -0700] rev 343
start on product axiom
Kevin Walker <kevin@canyon23.net> [Fri, 04 Jun 2010 17:15:53 -0700] rev 342
breaking long lines
Kevin Walker <kevin@canyon23.net> [Fri, 04 Jun 2010 17:00:18 -0700] rev 341
minor
Kevin Walker <kevin@canyon23.net> [Fri, 04 Jun 2010 11:42:07 -0700] rev 340
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net> [Fri, 04 Jun 2010 08:15:08 -0700] rev 339
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 23:08:47 -0700] rev 338
updating notation in intro, also deciding that not everything is a 'property'
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 21:59:55 -0700] rev 337
finally understanding what Lurie says, fixed remark about maps to a space
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 21:16:36 -0700] rev 336
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 20:58:39 -0700] rev 335
mostly finished inserting \cl
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 20:34:36 -0700] rev 334
Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 20:34:32 -0700] rev 333
updating notation in ncat
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 17:19:37 -0700] rev 332
fixing some inconsistencies in where the easy basic properties are treated
Kevin Walker <kevin@canyon23.net> [Thu, 03 Jun 2010 18:42:39 -0700] rev 331
Automated merge with https://tqft.net/hg/blob/
Kevin Walker <kevin@canyon23.net> [Thu, 03 Jun 2010 18:42:08 -0700] rev 330
module morphism stuff
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 12:33:47 -0700] rev 329
various changes, mostly rewriting intros to sections for exposition