Sun, 27 Jun 2010 12:28:06 -0700 |
Scott Morrison |
a bunch of minor changes
|
file |
diff |
annotate
|
Sat, 26 Jun 2010 17:22:53 -0700 |
Scott Morrison |
Making notation in the product theorem more consistent.
|
file |
diff |
annotate
|
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.
|
file |
diff |
annotate
|
Fri, 25 Jun 2010 09:48:24 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Thu, 24 Jun 2010 14:21:51 -0400 |
Scott Morrison |
edits to sphere-modules stuff: some todos added
|
file |
diff |
annotate
|
Wed, 23 Jun 2010 22:43:26 -0700 |
Kevin Walker |
figures for n+1-cat
|
file |
diff |
annotate
|
Wed, 23 Jun 2010 18:37:25 -0700 |
Kevin Walker |
finished def of sphere module n+1-cat
|
file |
diff |
annotate
|
Wed, 23 Jun 2010 09:41:03 -0700 |
Kevin Walker |
define compatible familty of non-degenerate IPs
|
file |
diff |
annotate
|
Tue, 22 Jun 2010 22:19:16 -0700 |
Kevin Walker |
sphere modules (in progress)
|
file |
diff |
annotate
|
Tue, 22 Jun 2010 18:56:51 -0700 |
Kevin Walker |
misc
|
file |
diff |
annotate
|
Fri, 18 Jun 2010 21:17:39 -0700 |
Kevin Walker |
another tikz experiment
|
file |
diff |
annotate
|
Fri, 18 Jun 2010 21:13:02 -0700 |
Kevin Walker |
experiment with tikz colors
|
file |
diff |
annotate
|
Wed, 16 Jun 2010 15:29:19 -0700 |
Scott Morrison |
tikzing feb21 diagrams
|
file |
diff |
annotate
|
Wed, 16 Jun 2010 14:39:25 -0700 |
Scott Morrison |
tikzing left-marked-antirefinements
|
file |
diff |
annotate
|
Wed, 16 Jun 2010 14:33:01 -0700 |
Scott Morrison |
moving an already prepared diagram out of tempkw
|
file |
diff |
annotate
|
Wed, 16 Jun 2010 14:30:55 -0700 |
Scott Morrison |
converting some hand drawn pictures to tikz
|
file |
diff |
annotate
|
Sun, 13 Jun 2010 14:26:31 +0200 |
Kevin Walker |
metric independence for homeo action (proof done now)
|
file |
diff |
annotate
|
Mon, 07 Jun 2010 18:14:11 +0200 |
Kevin Walker |
remark about EB_n-algebras from n-cats
|
file |
diff |
annotate
|
Sun, 06 Jun 2010 20:56:47 +0200 |
Kevin Walker |
added pinched product figs
|
file |
diff |
annotate
|
Sat, 05 Jun 2010 19:26:59 -0700 |
Kevin Walker |
A-inf bordism cat example
|
file |
diff |
annotate
|
Sat, 05 Jun 2010 13:38:57 -0700 |
Kevin Walker |
finished E_n example (at SFO)
|
file |
diff |
annotate
|
Sat, 05 Jun 2010 08:25:14 -0700 |
Kevin Walker |
EB_n operad example; other misc stuff
|
file |
diff |
annotate
|
Fri, 04 Jun 2010 20:37:38 -0700 |
Kevin Walker |
finished product axiom
|
file |
diff |
annotate
|
Fri, 04 Jun 2010 18:26:04 -0700 |
Kevin Walker |
start on product axiom
|
file |
diff |
annotate
|
Fri, 04 Jun 2010 17:15:53 -0700 |
Kevin Walker |
breaking long lines
|
file |
diff |
annotate
|
Fri, 04 Jun 2010 11:42:07 -0700 |
Kevin Walker |
breaking long lines (probably a waste of time, but I couldn't resist)
|
file |
diff |
annotate
|
Fri, 04 Jun 2010 08:15:08 -0700 |
Kevin Walker |
starting to revise the ancient TQFTs-from-fields section; other minor stuff
|
file |
diff |
annotate
|
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
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 20:58:39 -0700 |
Scott Morrison |
mostly finished inserting \cl
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 20:34:36 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 20:34:32 -0700 |
Scott Morrison |
updating notation in ncat
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 18:42:39 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 18:42:08 -0700 |
Kevin Walker |
module morphism stuff
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 12:33:47 -0700 |
Scott Morrison |
various changes, mostly rewriting intros to sections for exposition
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 09:47:18 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 17:45:13 -0700 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 22:09:52 -0700 |
Kevin Walker |
rewrite proof from gluing thm
|
file |
diff |
annotate
|
Tue, 01 Jun 2010 23:07:42 -0700 |
Scott Morrison |
editting all over the place
|
file |
diff |
annotate
|
Tue, 01 Jun 2010 11:34:03 -0700 |
Scott Morrison |
various small changes
|
file |
diff |
annotate
|
Mon, 31 May 2010 23:42:37 -0700 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Mon, 31 May 2010 17:27:17 -0700 |
Kevin Walker |
misc. minor stuff
|
file |
diff |
annotate
|
Mon, 31 May 2010 13:27:24 -0700 |
Kevin Walker |
mention some other flavors of balls
|
file |
diff |
annotate
|
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
|
file |
diff |
annotate
|
Mon, 31 May 2010 08:59:18 -0700 |
Kevin Walker |
start E_n example; other minor changes
|
file |
diff |
annotate
|
Sat, 29 May 2010 23:13:20 -0700 |
Scott Morrison |
minor changes in a few places
|
file |
diff |
annotate
|
Fri, 28 May 2010 15:20:11 -0700 |
Scott Morrison |
stuff
|
file |
diff |
annotate
|
Thu, 27 May 2010 22:29:49 -0700 |
Kevin Walker |
more deligne.tex
|
file |
diff |
annotate
|
Thu, 27 May 2010 20:09:47 -0700 |
Scott Morrison |
mostly minor changes, reading modules section, stopping for dinner\!
|
file |
diff |
annotate
|
Thu, 27 May 2010 14:04:06 -0700 |
Scott Morrison |
\mapsfrom
|
file |
diff |
annotate
|
Sat, 15 May 2010 16:00:31 -0700 |
Kevin Walker |
fix an example
|
file |
diff |
annotate
|
Sat, 15 May 2010 10:46:37 -0500 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Thu, 13 May 2010 12:07:02 -0500 |
Scott Morrison |
minor changes, fixes to some diagrams
|
file |
diff |
annotate
|
Wed, 12 May 2010 18:26:20 -0500 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 12 May 2010 18:25:37 -0500 |
Scott Morrison |
minor edits at the beginning of ncat
|
file |
diff |
annotate
|
Wed, 12 May 2010 15:57:20 -0700 |
Kevin Walker |
done for the moment with module morphism stuff
|
file |
diff |
annotate
|
Mon, 10 May 2010 19:34:59 -0700 |
Kevin Walker |
finished def of module morphisms; still need to define (yet another) 'evaluation' map
|
file |
diff |
annotate
|
Mon, 10 May 2010 14:14:19 -0700 |
Kevin Walker |
blah blah
|
file |
diff |
annotate
|
Mon, 10 May 2010 10:09:06 -0700 |
Kevin Walker |
more module morphism stuff
|
file |
diff |
annotate
|
Sun, 09 May 2010 22:32:37 -0700 |
Kevin Walker |
starting write up module morphism def
|
file |
diff |
annotate
|
Tue, 30 Mar 2010 15:12:27 -0700 |
Scott Morrison |
changing diff to homeo
|
file |
diff |
annotate
|
Mon, 29 Mar 2010 05:41:28 +0000 |
scott |
minor tweaks on small blobs
|
file |
diff |
annotate
|
Sun, 28 Mar 2010 01:40:58 +0000 |
scott |
fixing signs in small blobs lemma
|
file |
diff |
annotate
|
Sat, 27 Mar 2010 03:07:45 +0000 |
scott |
committing changes from loon lake - mostly small blobs
|
file |
diff |
annotate
|
Fri, 05 Mar 2010 20:27:08 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 23 Feb 2010 05:49:12 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 23:27:38 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 22:49:18 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 06:40:00 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 03:07:56 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 02:23:30 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 20 Feb 2010 22:59:57 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 27 Jan 2010 19:34:48 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 27 Jan 2010 18:33:59 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 10 Jan 2010 20:48:09 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 10 Jan 2010 18:27:49 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 05 Jan 2010 21:18:39 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 05 Jan 2010 20:50:36 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 21 Dec 2009 21:51:44 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 18 Dec 2009 06:06:43 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Thu, 17 Dec 2009 04:37:12 +0000 |
scott |
working on ncats -- no new material, just improving text
|
file |
diff |
annotate
|
Wed, 16 Dec 2009 19:30:13 +0000 |
scott |
minor edits in ncats
|
file |
diff |
annotate
|
Sun, 13 Dec 2009 01:32:28 +0000 |
scott |
...
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 22:44:25 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 01:08:53 +0000 |
scott |
...
|
file |
diff |
annotate
|
Mon, 07 Dec 2009 14:58:30 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 08 Nov 2009 04:08:58 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 07 Nov 2009 15:23:53 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 06 Nov 2009 21:57:13 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 04 Nov 2009 22:43:58 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 04 Nov 2009 22:27:48 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 31 Oct 2009 00:20:10 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 21:59:38 +0000 |
scott |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 21:41:53 +0000 |
scott |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 21:18:55 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 17:30:37 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 05:55:38 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 02:44:29 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 27 Oct 2009 22:27:07 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 26 Oct 2009 05:39:29 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 20 Oct 2009 18:25:54 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 18 Oct 2009 23:54:43 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 16 Oct 2009 22:44:25 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 13 Oct 2009 21:32:06 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 15 Sep 2009 02:55:39 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 26 Aug 2009 02:35:24 +0000 |
kevin |
preparing for semi-public version soon
|
file |
diff |
annotate
|
Fri, 21 Aug 2009 23:17:10 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 17 Aug 2009 22:51:08 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 17 Aug 2009 05:23:35 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 15 Aug 2009 15:47:52 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 14 Aug 2009 01:30:07 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 08 Aug 2009 22:12:58 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 29 Jul 2009 18:23:18 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 28 Jul 2009 18:52:39 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 28 Jul 2009 15:33:33 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 28 Jul 2009 00:33:08 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 24 Jul 2009 22:33:31 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 24 Jul 2009 18:52:30 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Thu, 23 Jul 2009 22:13:48 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 22 Jul 2009 17:37:45 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 18:45:18 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 16:21:20 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 15:55:06 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 05:56:45 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 20 Jul 2009 22:50:59 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 20 Jul 2009 17:37:50 +0000 |
kevin |
...
|
file |
diff |
annotate
|