Wed, 15 Sep 2010 13:33:14 -0500 |
Scott Morrison |
numbering axioms and module axioms as 7.x
|
file |
diff |
annotate
|
Thu, 02 Sep 2010 23:11:38 -0700 |
Kevin Walker |
proof of injectivity/colimit lemma
|
file |
diff |
annotate
|
Wed, 01 Sep 2010 13:34:21 -0700 |
Kevin Walker |
futzing with figures (\begin{center|equation} to \centering)
|
file |
diff |
annotate
|
Tue, 31 Aug 2010 21:09:31 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Tue, 31 Aug 2010 11:18:26 -0700 |
Kevin Walker |
minor; resolving a few \nns
|
file |
diff |
annotate
|
Thu, 26 Aug 2010 13:20:13 -0700 |
Kevin Walker |
misc
|
file |
diff |
annotate
|
Wed, 18 Aug 2010 21:05:50 -0700 |
Kevin Walker |
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
|
file |
diff |
annotate
|
Fri, 30 Jul 2010 20:19:17 -0400 |
Kevin Walker |
misc
|
file |
diff |
annotate
|
Fri, 30 Jul 2010 18:36:08 -0400 |
Kevin Walker |
sphere module n+1 mor stuff
|
file |
diff |
annotate
|
Wed, 28 Jul 2010 12:53:16 -0700 |
Scott Morrison |
YxI sliced open diagram
|
file |
diff |
annotate
|
Wed, 28 Jul 2010 12:16:27 -0700 |
Scott Morrison |
many small fixes in ncat.tex
|
file |
diff |
annotate
|
Fri, 23 Jul 2010 13:52:30 -0700 |
Scott Morrison |
some modifications to blobdef
|
file |
diff |
annotate
|
Thu, 22 Jul 2010 16:16:58 -0600 |
Kevin Walker |
dual module (non-)definition; other minor stuff
|
file |
diff |
annotate
|
Thu, 22 Jul 2010 15:35:26 -0600 |
Kevin Walker |
redefine "permissible decomp", and other changes to ntcat.tex; should be read
|
file |
diff |
annotate
|
Mon, 19 Jul 2010 15:56:09 -0600 |
Kevin Walker |
oops
|
file |
diff |
annotate
|
Mon, 19 Jul 2010 15:53:31 -0600 |
Kevin Walker |
changing simplex terminology for hocolimit (no more "degree")
|
file |
diff |
annotate
|
Mon, 19 Jul 2010 12:27:19 -0700 |
Scott Morrison |
filtration -> simplex, and another diagram
|
file |
diff |
annotate
|
Sun, 18 Jul 2010 11:07:47 -0600 |
Kevin Walker |
done with a-inf section for now
|
file |
diff |
annotate
|
Sun, 18 Jul 2010 08:07:50 -0600 |
Kevin Walker |
more a-inf section
|
file |
diff |
annotate
|
Sat, 17 Jul 2010 20:57:46 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Sat, 17 Jul 2010 20:57:35 -0600 |
Kevin Walker |
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
|
file |
diff |
annotate
|
Fri, 16 Jul 2010 17:18:02 -0600 |
Scott Morrison |
tikzing two diagrams
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:08:12 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:06:40 -0600 |
Kevin Walker |
mostly (entirely?) ncat revisions
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:06:20 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:06:11 -0600 |
Scott Morrison |
revisions to \S 1-5
|
file |
diff |
annotate
|
Tue, 13 Jul 2010 12:47:49 -0600 |
Kevin Walker |
ncat - minor
|
file |
diff |
annotate
|
Sun, 11 Jul 2010 14:38:48 -0600 |
Kevin Walker |
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
|
file |
diff |
annotate
|
Sun, 11 Jul 2010 14:31:56 -0600 |
Kevin Walker |
ncat misc
|
file |
diff |
annotate
|
Sat, 10 Jul 2010 12:30:09 -0600 |
Kevin Walker |
ncat.tex mostly module stuff
|
file |
diff |
annotate
|
Thu, 08 Jul 2010 08:36:34 -0600 |
Kevin Walker |
ncat: module def
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 11:07:48 -0600 |
Kevin Walker |
more ncat (colimits)
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 10:17:30 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 10:17:21 -0600 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 08:47:50 -0600 |
Kevin Walker |
a few more ncat revisions
|
file |
diff |
annotate
|
Mon, 05 Jul 2010 07:47:23 -0600 |
Kevin Walker |
revisions of n-cat examples
|
file |
diff |
annotate
|
Sun, 04 Jul 2010 23:32:48 -0600 |
Kevin Walker |
making quotation marks consistently "American style"
|
file |
diff |
annotate
|
Sun, 04 Jul 2010 13:15:03 -0600 |
Kevin Walker |
more ncat section
|
file |
diff |
annotate
|
Sun, 04 Jul 2010 11:56:23 -0600 |
Kevin Walker |
starting to revise ncat section
|
file |
diff |
annotate
|
Sat, 03 Jul 2010 13:19:15 -0600 |
Kevin Walker |
starting to work on tqdftreview.tex
|
file |
diff |
annotate
|
Wed, 30 Jun 2010 08:55:46 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
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
|