text/ncat.tex
Wed, 07 Jul 2010 10:17:21 -0600 Scott Morrison minor
Wed, 07 Jul 2010 08:47:50 -0600 Kevin Walker a few more ncat revisions
Mon, 05 Jul 2010 07:47:23 -0600 Kevin Walker revisions of n-cat examples
Sun, 04 Jul 2010 23:32:48 -0600 Kevin Walker making quotation marks consistently "American style"
Sun, 04 Jul 2010 13:15:03 -0600 Kevin Walker more ncat section
Sun, 04 Jul 2010 11:56:23 -0600 Kevin Walker starting to revise ncat section
Sat, 03 Jul 2010 13:19:15 -0600 Kevin Walker starting to work on tqdftreview.tex
Wed, 30 Jun 2010 08:55:46 -0700 Kevin Walker minor
Sun, 27 Jun 2010 12:28:06 -0700 Scott Morrison a bunch of minor changes
Sat, 26 Jun 2010 17:22:53 -0700 Scott Morrison Making notation in the product theorem more consistent.
Sat, 26 Jun 2010 16:31:28 -0700 Scott Morrison Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Fri, 25 Jun 2010 09:48:24 -0700 Kevin Walker minor
Thu, 24 Jun 2010 14:21:51 -0400 Scott Morrison edits to sphere-modules stuff: some todos added
Wed, 23 Jun 2010 22:43:26 -0700 Kevin Walker figures for n+1-cat
Wed, 23 Jun 2010 18:37:25 -0700 Kevin Walker finished def of sphere module n+1-cat
Wed, 23 Jun 2010 09:41:03 -0700 Kevin Walker define compatible familty of non-degenerate IPs
Tue, 22 Jun 2010 22:19:16 -0700 Kevin Walker sphere modules (in progress)
Tue, 22 Jun 2010 18:56:51 -0700 Kevin Walker misc
Fri, 18 Jun 2010 21:17:39 -0700 Kevin Walker another tikz experiment
Fri, 18 Jun 2010 21:13:02 -0700 Kevin Walker experiment with tikz colors
Wed, 16 Jun 2010 15:29:19 -0700 Scott Morrison tikzing feb21 diagrams
Wed, 16 Jun 2010 14:39:25 -0700 Scott Morrison tikzing left-marked-antirefinements
Wed, 16 Jun 2010 14:33:01 -0700 Scott Morrison moving an already prepared diagram out of tempkw
Wed, 16 Jun 2010 14:30:55 -0700 Scott Morrison converting some hand drawn pictures to tikz
Sun, 13 Jun 2010 14:26:31 +0200 Kevin Walker metric independence for homeo action (proof done now)
Mon, 07 Jun 2010 18:14:11 +0200 Kevin Walker remark about EB_n-algebras from n-cats
Sun, 06 Jun 2010 20:56:47 +0200 Kevin Walker added pinched product figs
Sat, 05 Jun 2010 19:26:59 -0700 Kevin Walker A-inf bordism cat example
Sat, 05 Jun 2010 13:38:57 -0700 Kevin Walker finished E_n example (at SFO)
Sat, 05 Jun 2010 08:25:14 -0700 Kevin Walker EB_n operad example; other misc stuff
Fri, 04 Jun 2010 20:37:38 -0700 Kevin Walker finished product axiom
Fri, 04 Jun 2010 18:26:04 -0700 Kevin Walker start on product axiom
Fri, 04 Jun 2010 17:15:53 -0700 Kevin Walker breaking long lines
Fri, 04 Jun 2010 11:42:07 -0700 Kevin Walker breaking long lines (probably a waste of time, but I couldn't resist)
Fri, 04 Jun 2010 08:15:08 -0700 Kevin Walker starting to revise the ancient TQFTs-from-fields section; other minor stuff
Thu, 03 Jun 2010 21:16:36 -0700 Scott Morrison replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Thu, 03 Jun 2010 20:58:39 -0700 Scott Morrison mostly finished inserting \cl
Thu, 03 Jun 2010 20:34:36 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Thu, 03 Jun 2010 20:34:32 -0700 Scott Morrison updating notation in ncat
Thu, 03 Jun 2010 18:42:39 -0700 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Thu, 03 Jun 2010 18:42:08 -0700 Kevin Walker module morphism stuff
Thu, 03 Jun 2010 12:33:47 -0700 Scott Morrison various changes, mostly rewriting intros to sections for exposition
Thu, 03 Jun 2010 09:47:18 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Wed, 02 Jun 2010 17:45:13 -0700 Scott Morrison minor
Wed, 02 Jun 2010 22:09:52 -0700 Kevin Walker rewrite proof from gluing thm
Tue, 01 Jun 2010 23:07:42 -0700 Scott Morrison editting all over the place
Tue, 01 Jun 2010 11:34:03 -0700 Scott Morrison various small changes
Mon, 31 May 2010 23:42:37 -0700 Scott Morrison minor
Mon, 31 May 2010 17:27:17 -0700 Kevin Walker misc. minor stuff
Mon, 31 May 2010 13:27:24 -0700 Kevin Walker mention some other flavors of balls
Mon, 31 May 2010 12:44:19 -0700 Kevin Walker converting sphere axiom to a proposition; still need to make similar changes in module axioms
Mon, 31 May 2010 08:59:18 -0700 Kevin Walker start E_n example; other minor changes
Sat, 29 May 2010 23:13:20 -0700 Scott Morrison minor changes in a few places
Fri, 28 May 2010 15:20:11 -0700 Scott Morrison stuff
Thu, 27 May 2010 22:29:49 -0700 Kevin Walker more deligne.tex
Thu, 27 May 2010 20:09:47 -0700 Scott Morrison mostly minor changes, reading modules section, stopping for dinner\!
Thu, 27 May 2010 14:04:06 -0700 Scott Morrison \mapsfrom
Sat, 15 May 2010 16:00:31 -0700 Kevin Walker fix an example
Sat, 15 May 2010 10:46:37 -0500 Scott Morrison minor
Thu, 13 May 2010 12:07:02 -0500 Scott Morrison minor changes, fixes to some diagrams
less more (0) -100 -60 tip