Wed, 22 Sep 2010 20:42:47 -0700 |
Kevin Walker |
making "no functors" excuses; other minor stuff
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 22:39:17 -0700 |
Kevin Walker |
misc
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 17:28:14 -0700 |
Scott Morrison |
remaining changes from tuesday afternoon
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 14:44:17 -0700 |
Scott Morrison |
deleting nn's
|
file |
diff |
annotate
|
Mon, 20 Sep 2010 14:32:24 -0700 |
Kevin Walker |
minor: futzing with font size in 2 figs
|
file |
diff |
annotate
|
Mon, 20 Sep 2010 10:24:17 -0700 |
Kevin Walker |
new def of mophisms between modules
|
file |
diff |
annotate
|
Sun, 19 Sep 2010 23:15:21 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Sun, 19 Sep 2010 23:14:41 -0700 |
Kevin Walker |
preparing for new def of morphisms of a-ing 1-cat modules
|
file |
diff |
annotate
|
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
|